Python set_fontの例

コード例 #1

ファイル: appearance.py プロジェクト: srandmose/spyder

 def set_font(self, font, option):
     """Set global font used in Spyder."""
     # 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()

コード例 #2

ファイル: appearance.py プロジェクト: impact27/spyder

 def set_font(self, font, option):
     """Set global font used in Spyder."""
     # 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()