Changeset 6040 in josm for trunk/src/org/openstreetmap/josm/gui/HelpAwareOptionPane.java

Timestamp:

2013-06-29T01:23:39+02:00 (13 years ago)

Author:

Don-vip

Message:

fix #8827 - HTML rendering differ if run before or after having launched Help Browser

File:

• trunk/src/org/openstreetmap/josm/gui/HelpAwareOptionPane.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/HelpAwareOptionPane.java

@@ -21 +21 @@
 import javax.swing.JOptionPane;
 import javax.swing.KeyStroke;
-import javax.swing.SwingUtilities;
 
 import org.openstreetmap.josm.gui.help.HelpBrowser;
 import org.openstreetmap.josm.gui.help.HelpUtil;
+import org.openstreetmap.josm.gui.util.GuiHelper;
 import org.openstreetmap.josm.gui.widgets.JosmEditorPane;
 import org.openstreetmap.josm.tools.ImageProvider;
@@ -284 +284 @@
      */
     static public void showMessageDialogInEDT(final Component parentComponent, final Object msg, final String title, final int messageType, final String helpTopic)  {
-        SwingUtilities.invokeLater(new Runnable() {
+        GuiHelper.runInEDT(new Runnable() {
             public void run() {
                 showOptionDialog(parentComponent, msg, title, messageType, null, null, null, helpTopic);