painter.updateTabSize();
	public void setDocument(SyntaxDocument document)	{		if(this.document == document)			return;		if(this.document != null)			this.document.removeDocumentListener(documentHandler);		this.document = document;		document.addDocumentListener(documentHandler);		documentHandlerInstalled = true;		select(0,0);		updateScrollBars();		painter.repaint();		gutter.repaint();	}