int wrappedWidth;\r
\r
Font font = new Font("SansSerif", Font.PLAIN, 10);\r
+ boolean validCharWidth = true;\r
AlignmentI alignment;\r
\r
ColumnSelection colSel = new ColumnSelection();\r
return endSeq;\r
}\r
\r
+ java.awt.Frame nullFrame;\r
public void setFont(Font f)\r
{\r
font = f;\r
- java.awt.Frame temp = new java.awt.Frame();\r
- temp.addNotify();\r
- java.awt.FontMetrics fm = temp.getGraphics().getFontMetrics(font);\r
+ if(nullFrame == null)\r
+ {\r
+ nullFrame = new java.awt.Frame();\r
+ nullFrame.addNotify();\r
+ }\r
+\r
+ java.awt.FontMetrics fm = nullFrame.getGraphics().getFontMetrics(font);\r
setCharHeight(fm.getHeight());\r
setCharWidth(fm.charWidth('M'));\r
}\r