'Set global font used in Spyder.'

def set_font(self, font, option):

    set_font(font, option=option)
    plugins = (self.main.widgetlist + self.main.thirdparty_plugins)
    for plugin in plugins:
        plugin.update_font()
