void (float fontSize) { EditorColorsManager.getInstance().getGlobalScheme().setEditorFontSize(fontSize); ApplicationManager.getApplication().getMessageBus().syncPublisher(EditorColorsManager.TOPIC).globalSchemeChange(null); }