void () { for (Editor editor : EditorFactory.getInstance().getAllEditors()) { if (editor.getGutter() instanceof EditorGutterComponentEx) { ((EditorGutterComponentEx)editor.getGutter()).revalidateMarkup(); } } }