# HG changeset patch
# User wenzelm
# Date 1420111222 -3600
# Node ID 6e77ddb1e3fb66c7a9b6b3f1960a53cbb63882da
# Parent  eadd82d440b04c30d2eb66b1eabf0f8ec78c25e6
tuned;

diff -r eadd82d440b0 -r 6e77ddb1e3fb src/Tools/Graphview/graph_panel.scala
--- 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 {