Changeset 19304 in osm for applications/editors/josm/plugins/validator/src

Timestamp:

2010-01-06T21:26:30+01:00 (15 years ago)

Author:

guggis

Message:

'Update to JOSM 2748'

File:

• applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator/PreferenceEditor.java (modified) (2 diffs)

applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator/PreferenceEditor.java ¶

@@ -15 +15 @@
 import org.openstreetmap.josm.gui.preferences.PreferenceDialog;
 import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
+import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane;
 import org.openstreetmap.josm.plugins.validator.util.Util;
 import org.openstreetmap.josm.tools.GBC;
@@ -65 +66 @@
     }
 
-    public void addGui(PreferenceDialog gui)
+    public void addGui(PreferenceTabbedPane gui)
     {
         JPanel testPanel = new JPanel(new GridBagLayout());