Changeset 1180 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceSetting.java

Timestamp:

2008-12-25T18:58:04+01:00 (16 years ago)

Author:

stoecker

Message:

fixed bug #1871, removed all deprecations

File:

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

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

@@ -12 +12 @@
     /**
      * Called when OK is pressed to save the setting in the preferences file.
+     * Return true when restart is required.
      */
-    void ok();
+    boolean ok();
 }