Changeset 205 in josm for src/org/openstreetmap/josm/tools

Timestamp:

2007-04-03T13:49:40+02:00 (18 years ago)

Author:

imi

Message:

• added "addToggleDialog" to MapFrame to give plugins the chance of providing new toggle dialogs
• fixed display of <different> in the property dialog when selecting different non-empty values
• fixed the preferences directory under Windows (JOSM now uses environment variable APPDATA)
• added LiveGPS plugin to exception detection heuristic

File:

• src/org/openstreetmap/josm/tools/BugReportExceptionHandler.java (modified) (2 diffs)

src/org/openstreetmap/josm/tools/BugReportExceptionHandler.java

@@ -65 +65 @@
                                                         JOptionPane.YES_NO_OPTION);
                                         if (answer == JOptionPane.OK_OPTION) {
-                                                plugins.remove(pluginName);
+                                                while (plugins.remove(pluginName)) {}
                                                 String p = "";
                                                 for (String s : plugins)
@@ -157 +157 @@
                         if (c.contains("landsat.") || c.contains(".LandsatLayer"))
                                 return "landsat";
+                        if (c.contains("livegps."))
+                                return "livegps";
                         if (c.contains("mappaint."))
                                 return "mappaint";