void (float size) { EditorColorsManager.getInstance().getGlobalScheme().setEditorFontSize(size); if (myScheme instanceof MyColorSchemeDelegate) { ((MyColorSchemeDelegate)myScheme).resetEditorFontSize(); } ApplicationManager.getApplication().getMessageBus().syncPublisher(EditorColorsManager.TOPIC).globalSchemeChange(null); }