Changeset 2864 in josm for trunk/src/org/openstreetmap/josm/gui

Timestamp:

2010-01-15T23:23:43+01:00 (16 years ago)

Author:

stoecker

Message:

fixed plugin loading stages

File:

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

trunk/src/org/openstreetmap/josm/gui/preferences/PluginPreference.java

@@ -15 +15 @@
 import java.awt.event.ComponentEvent;
 import java.util.Collection;
+import java.util.Collections;
 import java.util.LinkedList;
 import java.util.List;
@@ -255 +256 @@
             return false;
         if (model.isActivePluginsChanged()) {
-            Main.pref.putCollection("plugins", model.getSelectedPluginNames());
+            LinkedList<String> l = new LinkedList<String>(model.getSelectedPluginNames());
+            Collections.sort(l);
+            Main.pref.putCollection("plugins", l);
             return true;
         }