src/Tools/Graphview/graph_file.scala
changeset 59460 3a357fef24e8
parent 59459 985fc55e9f27
child 59462 c7eff4356885
--- a/src/Tools/Graphview/graph_file.scala	Wed Jan 28 19:15:13 2015 +0100
+++ b/src/Tools/Graphview/graph_file.scala	Wed Jan 28 19:18:08 2015 +0100
@@ -26,7 +26,7 @@
       gfx.setColor(Color.WHITE)
       gfx.fillRect(0, 0, w, h)
       gfx.translate(- box.x, - box.y)
-      graphview.paint_all_visible(gfx)
+      graphview.paint(gfx)
     }
 
     val name = file.getName