コード例 #1
0
ファイル: EditorSettings.java プロジェクト: yan96in/MPS
 void updateGlobalScheme() {
   if (myColorsManager != null) {
     EditorColorsScheme globalScheme = myColorsManager.getGlobalScheme();
     globalScheme.setEditorFontSize(getFontSize());
     globalScheme.setEditorFontName(getFontFamily());
     globalScheme.setLineSpacing(((float) getLineSpacing()));
     EditorFactory.getInstance().refreshAllEditors();
   }
 }
コード例 #2
0
    public void apply(@NotNull EditorColorsScheme scheme) {
      scheme.setFontPreferences(getFontPreferences());
      scheme.setLineSpacing(myLineSpacing);
      scheme.setQuickDocFontSize(getQuickDocFontSize());
      scheme.setConsoleFontPreferences(getConsoleFontPreferences());
      scheme.setConsoleLineSpacing(getConsoleLineSpacing());

      for (EditorSchemeAttributeDescriptor descriptor : myDescriptors) {
        descriptor.apply(scheme);
      }
    }