Changeset 27863 in osm for applications/editors/josm/plugins/ext_tools

Timestamp:

2012-02-18T18:03:10+01:00 (13 years ago)

Author:

bastik

Message:

update because of core api change: 2nd part (preferences - rev. 4968)

File:

• applications/editors/josm/plugins/ext_tools/src/ext_tools/preferences/ExtToolsPreference.java (modified) (3 diffs)

applications/editors/josm/plugins/ext_tools/src/ext_tools/preferences/ExtToolsPreference.java

@@ -8 +8 @@
 import javax.swing.JScrollPane;
 
-import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
+import org.openstreetmap.josm.gui.preferences.DefaultTabPreferenceSetting;
 import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane;
 import org.openstreetmap.josm.tools.GBC;
@@ -14 +14 @@
 import ext_tools.ExtToolsPlugin;
 
-public class ExtToolsPreference implements PreferenceSetting {
+public class ExtToolsPreference extends DefaultTabPreferenceSetting {
 
     ExtToolsPlugin plugin;
 
     public ExtToolsPreference(ExtToolsPlugin plugin) {
+        super("ext", tr("External tools"), tr("Use external scripts in JOSM"));
         this.plugin = plugin;
     }
@@ -24 +25 @@
     @Override
     public void addGui(PreferenceTabbedPane gui) {
-        JPanel p = gui.createPreferenceTab("ext", tr("External tools"),
-                tr("Use external scripts in JOSM"));
+        JPanel p = gui.createPreferenceTab(this);
         MyToolsPanel tp = new MyToolsPanel(plugin.myTools);
         tp.refresh();