--- a/src/Tools/Graphview/shapes.scala Thu Jan 01 17:27:52 2015 +0100
+++ b/src/Tools/Graphview/shapes.scala Thu Jan 01 20:50:20 2015 +0100
@@ -28,8 +28,9 @@
{
val (x, y) = visualizer.Coordinates(peer.get)
val bounds = g.getFontMetrics.getStringBounds(visualizer.Caption(peer.get), g)
- val w = bounds.getWidth + visualizer.pad_x
- val h = bounds.getHeight + visualizer.pad_y
+ val m = visualizer.metrics()
+ val w = bounds.getWidth + m.pad_x
+ val h = bounds.getHeight + m.pad_y
new Rectangle2D.Double(x - (w / 2), y - (h / 2), w, h)
}