Changeset 4036

Timestamp:

Nov 19, 2008, 7:18:34 PM (12 years ago)

Author:

yura

Message:

• NullPointerException? (in october letters) may be caused by changing stylePositionList from another thread. synchronized flag is added.

File:

• devel-tools/trunk/eclipse/org.refal.rfpdt.ui/src/org/refal/rfpdt/editor/RfpEditor.java (modified) (1 diff)

devel-tools/trunk/eclipse/org.refal.rfpdt.ui/src/org/refal/rfpdt/editor/RfpEditor.java

@@ -156 +156 @@
     private StylePosition[] stylePositionList = null;
 
-    public void changeTextPresentation (IDocument document, StylePosition[] stylePositionList) {
+    public synchronized void changeTextPresentation (IDocument document, StylePosition[] stylePositionList) {
         if (this.stylePositionList != null)
             for (Position position : this.stylePositionList)