Changeset 3236 in josm

Timestamp:

2010-05-12T20:49:44+02:00 (14 years ago)

Author:

jttt

Message:

Fix #4921 changes of plugin update time interval not saved.

File:

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

trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginUpdatePolicyPanel.java

@@ -163 +163 @@
     /**
      * Loads the relevant preference values from the JOSM preferences
-     * 
+     *
      */
     public void initFromPreferences() {
@@ -196 +196 @@
         }
         if (days == 0) {
-            days =Main.pref.getInteger("preference pluginmanager.time-based-update.interval", 60);
+            days =Main.pref.getInteger("pluginmanager.time-based-update.interval", 60);
         }
         tfUpdateInterval.setText(Integer.toString(days));