void (final EditorEx editor) { if (myInheritSwingFont) { ((EditorImpl)editor).setUseEditorAntialiasing(false); editor.getColorsScheme().setEditorFontName(getFont().getFontName()); editor.getColorsScheme().setEditorFontSize(getFont().getSize()); return; } float currentEditorFontSize = UISettingsUtils.getInstance().getScaledEditorFontSize(); if (editor.getColorsScheme().getEditorFontSize2D() != currentEditorFontSize) { editor.putUserData(ZoomIndicatorManager.SUPPRESS_ZOOM_INDICATOR_ONCE, true); editor.setFontSize(currentEditorFontSize); } }