void () { EditorColorsScheme scheme = EditorColorsManager.getInstance().getGlobalScheme(); if (!scheme.isUseAppFontPreferencesInEditor()) { myEditorFontLabel.setText( ApplicationBundle.message("settings.editor.font.overridden.message", scheme.getEditorFontName(), scheme.getEditorFontSize())); myWarningPanel.setVisible(true); } else { myWarningPanel.setVisible(false); } }