Ignore:
Timestamp:
2013-08-20T23:00:22+02:00 (11 years ago)
Author:
zverik
Message:

fix EDT, async -> sync

File:
1 edited

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/geochat/src/geochat/GeoChatPanel.java

    r29590 r29851  
    1515import org.openstreetmap.josm.gui.dialogs.ToggleDialog;
    1616import org.openstreetmap.josm.gui.layer.MapViewPaintable;
     17import org.openstreetmap.josm.gui.util.GuiHelper;
    1718import org.openstreetmap.josm.tools.GBC;
    1819import static org.openstreetmap.josm.tools.I18n.tr;
     
    202203        if( comment != null )
    203204            title = title + " (" + comment + ")";
    204         String alarm = alarmLevel <= 0 ? "" : alarmLevel == 1 ? "* " : "!!! ";
    205         setTitle(alarm + title);
     205        final String alarm = (alarmLevel <= 0 ? "" : alarmLevel == 1 ? "* " : "!!! ") + title;
     206        GuiHelper.runInEDT(new Runnable() {
     207            public void run() {
     208                setTitle(alarm);
     209            }
     210        });
    206211    }
    207212
Note: See TracChangeset for help on using the changeset viewer.