Changeset 4036 for devel-tools


Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • devel-tools/trunk/eclipse/org.refal.rfpdt.ui/src/org/refal/rfpdt/editor/RfpEditor.java

    r3883 r4036  
    156156    private StylePosition[] stylePositionList = null;
    157157
    158     public void changeTextPresentation (IDocument document, StylePosition[] stylePositionList) {
     158    public synchronized void changeTextPresentation (IDocument document, StylePosition[] stylePositionList) {
    159159        if (this.stylePositionList != null)
    160160            for (Position position : this.stylePositionList)
Note: See TracChangeset for help on using the changeset viewer.