void (@NotNull DocumentEvent event) { Document document = event.getDocument(); for (Editor editor : EditorFactory.getInstance().getEditors(document)) { hideHighlights(editor, HIDE_BY_TEXT_CHANGE); } }