src/Tools/Graphview/graph_panel.scala

     {
       val c = Transform.pane_to_graph_coordinates(at)
 
       if (clicks < 2) {
         if (right_click) {
-          val menu = Popups(panel, visualizer.find_node(c), visualizer.Selection.get())
-          menu.show(panel.peer, at.x, at.y)
+          // FIXME
+          if (false) {
+            val menu = Popups(panel, visualizer.find_node(c), visualizer.Selection.get())
+            menu.show(panel.peer, at.x, at.y)
+          }
         }
         else {
           (visualizer.find_node(c), m) match {
             case (Some(node), Key.Modifier.Control) => visualizer.Selection.add(node)
             case (None, Key.Modifier.Control) =>