diff --git a/platform-impl/src/com/intellij/openapi/editor/ex/util/LexerEditorHighlighter.java b/platform-impl/src/com/intellij/openapi/editor/ex/util/LexerEditorHighlighter.java index 4ba63e7e3cbd..320190667480 100644 --- a/platform-impl/src/com/intellij/openapi/editor/ex/util/LexerEditorHighlighter.java +++ b/platform-impl/src/com/intellij/openapi/editor/ex/util/LexerEditorHighlighter.java @@ -53,7 +53,7 @@ public class LexerEditorHighlighter implements EditorHighlighter, PrioritizedDoc return myEditor != null ? myEditor.getDocument() : null; } - public final boolean checkContentIsEqualTo(CharSequence sequence) { + public synchronized final boolean checkContentIsEqualTo(CharSequence sequence) { final Document document = getDocument(); if (document != null) return document.getText().equals(sequence.toString()); return false;