don't let indexing use meaningless empty editor highlighter

This commit is contained in:
peter
2016-05-03 22:55:40 +02:00
parent fd0a5ec7c8
commit e085921e79
@@ -1174,16 +1174,13 @@ public final class EditorImpl extends UserDataHolderBase implements EditorEx, Hi
document.addDocumentListener(highlighter);
myHighlighter = highlighter;
myHighlighterDisposable = new Disposable() {
@Override
public void dispose() {
document.removeDocumentListener(highlighter);
}
};
myHighlighterDisposable = () -> document.removeDocumentListener(highlighter);
Disposer.register(myDisposable, myHighlighterDisposable);
highlighter.setEditor(this);
highlighter.setText(document.getImmutableCharSequence());
EditorHighlighterCache.rememberEditorHighlighterForCachesOptimization(document, highlighter);
if (!(highlighter instanceof EmptyEditorHighlighter)) {
EditorHighlighterCache.rememberEditorHighlighterForCachesOptimization(document, highlighter);
}
if (myPanel != null) {
reinitSettings();