MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

synchronized for accurate check

Browse Source
This commit is contained in:
Maxim Mossienko
2009-08-19 22:02:34 +04:00
parent ed2fa507ae
commit 5528cdb00f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform-impl/src/com/intellij/openapi/editor/ex/util/LexerEditorHighlighter.java
+1 -1
View File
@@ -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;