void () { PerHintSearchData data = getUserData(SEARCH_DATA_IN_HINT_KEY); LOG.assertTrue(data != null); String prefix = data.label.getText(); super.hide(); if (data.segmentHighlighter != null){ data.segmentHighlighter.dispose(); } PerEditorSearchData editorData = editor.getUserData(SEARCH_DATA_IN_EDITOR_VIEW_KEY); editorData.hint = null; editorData.lastSearch = prefix; if (documentListener[0] != null){ document.removeDocumentListener(documentListener[0]); documentListener[0] = null; } if (caretListener[0] != null){ CaretListener listener = caretListener[0]; editor.getCaretModel().removeCaretListener(listener); } }