src/Tools/Graphview/popups.scala

--- a/src/Tools/Graphview/popups.scala	Thu Jan 01 14:53:57 2015 +0100
+++ b/src/Tools/Graphview/popups.scala	Thu Jan 01 15:58:30 2015 +0100
@@ -20,7 +20,7 @@
     val visualizer = panel.visualizer
 
     val add_mutator = visualizer.model.Mutators.add _
-    val curr = visualizer.model.current
+    val curr = visualizer.model.current_graph
 
     def filter_context(ls: List[String], reverse: Boolean, caption: String, edges: Boolean) =
       new Menu(caption) {