tuned;

--- a/src/Tools/Graphview/graph_panel.scala	Thu Jan 01 11:37:09 2015 +0100
+++ b/src/Tools/Graphview/graph_panel.scala	Thu Jan 01 12:20:22 2015 +0100
@@ -25,8 +25,6 @@
 {
   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 {