void (Editor editor) { editor.putUserData(Holder.LISTENER_ADDED, null); editor.removeEditorMouseMotionListener(Holder.MOUSE_MOTION_LISTENER); for (RangeHighlighter rangeHighlighter : editor.getMarkupModel().getAllHighlighters()) { if (rangeHighlighter.getUserData(Holder.TOKEN_NAME) != null) rangeHighlighter.dispose(); } }