src/Tools/Graphview/popups.scala

   def apply(panel: Graph_Panel, under_mouse: Option[String], selected: List[String]): JPopupMenu =
   {
     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) {
         contents +=
           new MenuItem(new Action("This") {