void (@NotNull EditorHighlighter highlighter) { if (editor instanceof EditorEx) { ((EditorEx)editor).setHighlighter(highlighter); } else { LOG.warn("[Large File Editor Subsystem] EditorModel.trySetHighlighter: " + editor.getClass().getName() + " is not instance of EditorEx. Can't set proper editor highlighter."); } }