src/Tools/Graphview/shapes.scala

     def shape(visualizer: Visualizer, node: Graph_Display.Node): Rectangle2D.Double =
     {
       val metrics = visualizer.metrics
       val p = visualizer.Coordinates.get_node(node)
       val bounds = metrics.string_bounds(node.toString)
-      val w = bounds.getWidth + metrics.pad
-      val h = bounds.getHeight + metrics.pad
+      val w = bounds.getWidth + metrics.pad_x
+      val h = bounds.getHeight + metrics.pad_y
       new Rectangle2D.Double((p.x - (w / 2)).floor, (p.y - (h / 2)).floor, w.ceil, h.ceil)
     }
 
     def paint(gfx: Graphics2D, visualizer: Visualizer, node: Graph_Display.Node)
     {

   object Dummy
   {
     def shape(visualizer: Visualizer, d: Layout.Point): Rectangle2D.Double =
     {
       val metrics = visualizer.metrics
-      val w = metrics.space_width
+      val w = metrics.pad_x
       new Rectangle2D.Double((d.x - (w / 2)).floor, (d.y - (w / 2)).floor, w.ceil, w.ceil)
     }
 
     def paint(gfx: Graphics2D, visualizer: Visualizer, d: Layout.Point)
     {