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

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)

Location:

applications/editors/josm/plugins/graphview

Files:

• build.xml (modified) (1 diff)
• src/org/openstreetmap/josm/plugins/graphview/plugin/dialogs/GraphViewPreferenceEditor.java (modified) (3 diffs)

applications/editors/josm/plugins/graphview/build.xml

@@ -27 +27 @@
 <project name="graphview" default="dist" basedir=".">
     <property name="commit.message" value="option to change graph colors; closes ticket 5523 in JOSM Trac"/>
-    <property name="plugin.main.version" value="4549"/>
+    <property name="plugin.main.version" value="4968"/>
     <property name="josm" location="../../core/dist/josm-custom.jar"/>
     <property name="plugin.build.dir" value="build"/>

applications/editors/josm/plugins/graphview/src/org/openstreetmap/josm/plugins/graphview/plugin/dialogs/GraphViewPreferenceEditor.java

@@ -36 +36 @@
 import javax.swing.event.ChangeListener;
 
-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.plugins.graphview.plugin.dialogs.AccessParameterDialog.BookmarkAction;
@@ -45 +45 @@
 import org.openstreetmap.josm.tools.GBC;
 
-public class GraphViewPreferenceEditor implements PreferenceSetting {
+public class GraphViewPreferenceEditor extends DefaultTabPreferenceSetting {
 
     private File rulesetFolder;
@@ -71 +71 @@
     private JPanel arrowPreviewPanel;
 
+    public GraphViewPreferenceEditor() {
+        super("graphview", tr("Graphview"),
+                tr("Settings for the Graphview plugin that visualizes routing graphs."));
+    }
+
     public void addGui(PreferenceTabbedPane gui) {
 
         readPreferences();
 
-        preferencePanel = gui.createPreferenceTab("graphview", tr("Graphview"),
-        tr("Settings for the Graphview plugin that visualizes routing graphs."));
+        preferencePanel = gui.createPreferenceTab(this);
 
         JPanel mainPanel = createMainPanel();