Changeset 19306 in osm for applications/editors/josm/plugins/wmsplugin/src/wmsplugin/WMSPreferenceEditor.java

Timestamp:

2010-01-06T21:28:43+01:00 (15 years ago)

Author:

guggis

Message:

'Update to JOSM 2748'

File:

• applications/editors/josm/plugins/wmsplugin/src/wmsplugin/WMSPreferenceEditor.java (modified) (2 diffs)

applications/editors/josm/plugins/wmsplugin/src/wmsplugin/WMSPreferenceEditor.java

@@ -31 +31 @@
 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.tools.GBC;
 
@@ -42 +43 @@
     JSpinner spinNorth;
     
-    public void addGui(final PreferenceDialog gui) {
+    public void addGui(final PreferenceTabbedPane gui) {
         JPanel p = gui.createPreferenceTab("wms", tr("WMS Plugin Preferences"), tr("Modify list of WMS servers displayed in the WMS plugin menu"));