frame = new JInternalFrame();\r
frame.setContentPane(this);\r
if(tp!=null)\r
- Desktop.addInternalFrame(frame, "Change Font (Tree Panel)", 480, 100, false);\r
+ Desktop.addInternalFrame(frame, "Change Font (Tree Panel)", 540, 100, false);\r
else\r
- Desktop.addInternalFrame(frame, "Change Font", 480, 100, false);\r
+ Desktop.addInternalFrame(frame, "Change Font", 540, 100, false);\r
\r
frame.setLayer(JLayeredPane.PALETTE_LAYER);\r
\r
fontSize.setSelectedItem(oldFont.getSize() + "");\r
fontStyle.setSelectedIndex(oldFont.getStyle());\r
\r
+ FontMetrics fm = getGraphics().getFontMetrics(oldFont);\r
+ monospaced.setSelected( fm.getStringBounds("M",getGraphics()).getWidth()\r
+ ==fm.getStringBounds("|",getGraphics()).getWidth());\r
+\r
+\r
init = false;\r
}\r
\r
{\r
tp.setTreeFont(newFont);\r
}\r
+\r
+ FontMetrics fm = getGraphics().getFontMetrics(newFont);\r
+\r
+ monospaced.setSelected( fm.getStringBounds("M",getGraphics()).getWidth()\r
+ ==fm.getStringBounds("|",getGraphics()).getWidth());\r
+\r
}\r
\r
/**\r