ide/src/wombat/util/Options.java
private static void calculateFont() {
    	Font = new Font("Monospaced", java.awt.Font.PLAIN, FontSize);
    	
    	Component c = new Component(){ private static final long serialVersionUID = 366311035336037525L; };
    	FontMetrics fm = c.getFontMetrics(Font);
    	FontWidth = fm.charWidth(' ');
    	FontHeight = fm.getHeight();
	}
/**
     * Determine how wide the font actually is per character.
     */
Determine how wide the font actually is per character.
Determine how wide the font actually is per character .
private static void calculateFont() {
    	Font = new Font("Monospaced", java.awt.Font.PLAIN, FontSize);
    	Component c = new Component(){ private static final long serialVersionUID = 366311035336037525L; };
    	FontMetrics fm = c.getFontMetrics(Font);
    	FontWidth = fm.charWidth(' ');
    	FontHeight = fm.getHeight();
	}
private static void calculateFont ( ) { Font = new Font ( "Monospaced" , java . awt . Font . PLAIN , FontSize ) ; Component c = new Component ( ) { private static final long serialVersionUID = 366311035336037525L ; } ; FontMetrics fm = c . getFontMetrics ( Font ) ; FontWidth = fm . charWidth ( ' ' ) ; FontHeight = fm . getHeight ( ) ; }
Determine how wide the font actually is per character.
Determine how wide the font actually is per character .