lnWidth = fm.stringWidth(PROTOTYPE);
	public LineNumberer(JTextArea ta) {		setFont( ta.getFont() );		textArea = ta;		setForeground( Color.BLUE );				fm = this.getFontMetrics(ta.getFont());		lnWidth = fm.stringWidth(PROTOTYPE);		setWidths();	}