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

Timestamp:

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

Author:

stoecker

Message:

fixed bug #1871, removed all deprecations

File:

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

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

@@ -158 +158 @@
     }
 
-    public void ok() {
+    public boolean ok() {
         Main.pref.put("audio.menuinvisible", ! audioMenuVisible.isSelected());
         Main.pref.put("marker.traceaudio", markerAudioTraceVisible.isSelected());
@@ -171 +171 @@
         Main.pref.put("audio.leadin", audioLeadIn.getText());
         Main.pref.put("audio.calibration", audioCalibration.getText());
+        return false;
     }
 }