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

Timestamp:

2016-06-20T23:31:41+02:00 (9 years ago)

Author:

donvip

Message:

fix #13012 - GraphView: Remove deprecated method calls (patch by michael2402)

Location:

applications/editors/josm/plugins/graphview

Files:

• build.xml (modified) (1 diff)
• src/org/openstreetmap/josm/plugins/graphview/plugin/GraphViewPlugin.java (modified) (1 diff)
• src/org/openstreetmap/josm/plugins/graphview/plugin/layer/GraphViewLayer.java (modified) (6 diffs)

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

@@ -2 +2 @@
 <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="7001"/>
+    <property name="plugin.main.version" value="10031"/>
 
     <!-- Configure these properties (replace "..." accordingly).

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

@@ -178 +178 @@
 
         if (graphViewLayer != null) {
-            Main.panel.repaint();
+            graphViewLayer.invalidate();
         }
 

applications/editors/josm/plugins/graphview/src/org/openstreetmap/josm/plugins/graphview/plugin/layer/GraphViewLayer.java

@@ -46 +46 @@
  * layer for displaying the graph visualization
  */
-public class GraphViewLayer extends Layer implements LayerChangeListener, WayGraphObserver {
+public class GraphViewLayer extends Layer implements  WayGraphObserver {
 
     private static final int NODE_RADIUS = 5;
@@ -98 +98 @@
     public GraphViewLayer() {
         super("Graph view");
-        MapView.addLayerChangeListener(this);
     }
 
@@ -115 +114 @@
     public void setColorScheme(ColorScheme colorScheme) {
         this.colorScheme = colorScheme;
-        Main.panel.repaint();
+        invalidate();
     }
 
@@ -122 +121 @@
         assert arrowheadPlacement >= 0 && arrowheadPlacement <= 1;
         this.arrowheadPlacement = arrowheadPlacement;
-        Main.panel.repaint();
+        invalidate();
     }
 
@@ -134 +133 @@
             this.nodePositioner = new NonMovingNodePositioner();
         }
-        Main.panel.repaint();
+        invalidate();
     }
 
@@ -408 +407 @@
     public void update(WayGraph wayGraph) {
         assert wayGraph == this.wayGraph;
-        Main.panel.repaint();
-    }
-
-    public void activeLayerChange(Layer oldLayer, Layer newLayer) {
-        //do nothing
-    }
-    public void layerAdded(Layer newLayer) {
-        //do nothing
-    }
-    public void layerRemoved(Layer oldLayer) {
-        if (oldLayer == this) {
-            MapView.removeLayerChangeListener(this);
-        }
+        invalidate();
     }
 }