code: def set_font(self, font, option):
          
          # Update fonts in all plugins
          set_font(font, option=option)
          plugins = self.main.widgetlist + self.main.thirdparty_plugins
          for plugin in plugins:
              plugin.update_font()
docs: Set global font used in Spyder.