src/Tools/Graphview/shapes.scala

 
   object Dummy
   {
     private val identity = new AffineTransform()
 
-    def shape(m: Visualizer.Metrics, visualizer: Visualizer, node: Graph_Display.Node): Shape =
+    def shape(m: Visualizer.Metrics, visualizer: Visualizer): Shape =
     {
       val w = (m.space_width / 2).ceil
       new Rectangle2D.Double(- w, - w, 2 * w, 2 * w)
     }
 
-    def paint(gfx: Graphics2D, visualizer: Visualizer, node: Graph_Display.Node): Unit =
-      paint_transformed(gfx, visualizer, node, identity)
-
-    def paint_transformed(gfx: Graphics2D, visualizer: Visualizer,
-      node: Graph_Display.Node, at: AffineTransform)
+    def paint(gfx: Graphics2D, visualizer: Visualizer): Unit =
+      paint_transformed(gfx, visualizer, identity)
+
+    def paint_transformed(gfx: Graphics2D, visualizer: Visualizer, at: AffineTransform)
     {
       val m = Visualizer.Metrics(gfx)
-      val s = shape(m, visualizer, node)
-      val c = visualizer.node_color(node)
+      val s = shape(m, visualizer)
 
       gfx.setStroke(default_stroke)
-      gfx.setColor(c.border)
+      gfx.setColor(visualizer.dummy_color)
       gfx.draw(at.createTransformedShape(s))
     }
   }
 
   object Straight_Edge

 
       if (dummies) {
         ds.foreach({
             case (x, y) => {
               val at = AffineTransform.getTranslateInstance(x, y)
-              Dummy.paint_transformed(gfx, visualizer, Graph_Display.Node.dummy, at)
+              Dummy.paint_transformed(gfx, visualizer, at)
             }
           })
       }
 
       gfx.setStroke(default_stroke)

 
         if (dummies) {
           ds.foreach({
               case (x, y) => {
                 val at = AffineTransform.getTranslateInstance(x, y)
-                Dummy.paint_transformed(gfx, visualizer, Graph_Display.Node.dummy, at)
+                Dummy.paint_transformed(gfx, visualizer, at)
               }
             })
         }
 
         gfx.setStroke(default_stroke)