src/Tools/Graphview/graph_panel.scala

--- a/src/Tools/Graphview/graph_panel.scala	Wed Jan 28 19:15:13 2015 +0100
+++ b/src/Tools/Graphview/graph_panel.scala	Wed Jan 28 19:18:08 2015 +0100
@@ -40,7 +40,7 @@
       gfx.fillRect(0, 0, peer.getWidth, peer.getHeight)
 
       gfx.transform(Transform())
-      graphview.paint_all_visible(gfx)
+      graphview.paint(gfx)
     }
   }