--- a/src/Tools/Graphview/src/graph_panel.scala Wed Sep 26 14:13:07 2012 +0200
+++ b/src/Tools/Graphview/src/graph_panel.scala Wed Sep 26 14:23:33 2012 +0200
@@ -203,7 +203,7 @@
def moved(at: Point) {
val c = Transform.pane_to_graph_coordinates(at)
node(c) match {
- case Some(l) => panel.tooltip = vis.Tooltip(l, g.getFontMetrics)
+ case Some(l) => panel.tooltip = vis.Tooltip.text(l, g.getFontMetrics)
case None => panel.tooltip = null
}
}
@@ -260,7 +260,7 @@
val p = at.clone.asInstanceOf[Point]
SwingUtilities.convertPointToScreen(p, panel.peer)
new Floating_Dialog(
- vis.Tooltip(l, g.getFontMetrics()),
+ vis.Tooltip.content(l),
vis.Caption(l),
at
).open