Ticket #13012: plugin-graphview-remove-deprecated-calls.patch

graphview/build.xml

@@ -1 +1 @@
 <?xml version="1.0" encoding="utf-8"?>
 <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).
          See https://josm.openstreetmap.de/wiki/DevelopersGuide/DevelopingPlugins

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

@@ -177 +177 @@
     public void repaintGraphViewLayer() {
 
         if (graphViewLayer != null) {
-            Main.panel.repaint();
+            graphViewLayer.invalidate();
         }
 
     }

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

@@ -45 +45 @@
 /**
  * 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;
 
@@ -97 +97 @@
 
     public GraphViewLayer() {
         super("Graph view");
-        MapView.addLayerChangeListener(this);
     }
 
     /** sets the WayGraph that is to be displayed by this layer, may be null */
@@ -114 +113 @@
     /** sets the ColorScheme that is to be used for choosing colors, may be null */
     public void setColorScheme(ColorScheme colorScheme) {
         this.colorScheme = colorScheme;
-        Main.panel.repaint();
+        invalidate();
     }
 
     /** sets the arrowhead placement (relative offset from edge start) */
     public void setArrowheadPlacement(double arrowheadPlacement) {
         assert arrowheadPlacement >= 0 && arrowheadPlacement <= 1;
         this.arrowheadPlacement = arrowheadPlacement;
-        Main.panel.repaint();
+        invalidate();
     }
 
     /**
@@ -133 +132 @@
         if (nodePositioner == null) {
             this.nodePositioner = new NonMovingNodePositioner();
         }
-        Main.panel.repaint();
+        invalidate();
     }
 
     @Override
@@ -407 +406 @@
 
     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();
     }
 }