src/Tools/Graphview/graph_panel.scala

--- a/src/Tools/Graphview/graph_panel.scala	Sat Jan 03 14:29:07 2015 +0100
+++ b/src/Tools/Graphview/graph_panel.scala	Sat Jan 03 14:54:33 2015 +0100
@@ -23,6 +23,8 @@
 {
   panel =>
 
+  tooltip = ""
+
   override lazy val peer: JScrollPane = new JScrollPane with SuperMixin {
     override def getToolTipText(event: java.awt.event.MouseEvent): String =
       node(Transform.pane_to_graph_coordinates(event.getPoint)) match {