\r
if (showDistances && (node.dist > 0))\r
{\r
- nodeLabel = new Format("%5.2f").form(node.dist);\r
+ nodeLabel = new Format("%5.2f").form(node.dist).trim();\r
}\r
\r
if (showBootstrap)\r
\r
if (!nodeLabel.equals(""))\r
{\r
- g.drawString(nodeLabel, xstart, ypos - 10);\r
+ g.drawString(nodeLabel, xstart+2, ypos - 2);\r
}\r
\r
String name = (markPlaceholders && node.isPlaceholder())\r
? (PLACEHOLDER + node.getName()) : node.getName();\r
\r
int charWidth = fm.stringWidth(name) + 3;\r
- int charHeight = fm.getHeight();\r
+ int charHeight = font.getSize();\r
\r
Rectangle rect = new Rectangle(xend+10, ypos-charHeight/2,\r
charWidth, charHeight);\r
\r
if (showDistances && (node.dist > 0))\r
{\r
- g.drawString(new Format("%5.2f").form(node.dist), xstart,\r
- ypos - 5);\r
+ g.drawString(new Format("%5.2f").form(node.dist).trim(), xstart+2,\r
+ ypos - 2);\r
}\r
}\r
}\r
\r
g2.setFont(font);\r
\r
- offy = font.getSize()*2;\r
+ offy = font.getSize()+10;\r
\r
fm = g2.getFontMetrics(font);\r
\r