Changeset 181 in josm for src/org/openstreetmap/josm/gui/preferences/PluginPreference.java

Timestamp:

2006-12-31T16:36:27+01:00 (19 years ago)

Author:

imi

Message:

• added select all / unselect all actions
• added option to display the segment order number of a segment
• fixed freeze when holding down middle button and moving mouse too fast
• added warning when user deletes a layer

File:

• src/org/openstreetmap/josm/gui/preferences/PluginPreference.java (modified) (1 diff)

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

@@ -27 +27 @@
 public class PluginPreference implements PreferenceSetting {
 
-        private Map<PluginInformation, Boolean> pluginMap = new HashMap<PluginInformation, Boolean>();
+        private Map<PluginInformation, Boolean> pluginMap;
 
         public void addGui(final PreferenceDialog gui) {
+                pluginMap = new HashMap<PluginInformation, Boolean>();
                 Box pluginPanel = Box.createVerticalBox();
                 Collection<PluginInformation> availablePlugins = new LinkedList<PluginInformation>();