buffer.addFoldListener(foldHandler);
	public void setBuffer(Buffer buffer)	{		if(this.buffer == buffer)			return;		if(this.buffer != null)			this.buffer.removeDocumentListener(documentHandler);		this.buffer = buffer;		buffer.addDocumentListener(documentHandler);		documentHandlerInstalled = true;		maxHorizontalScrollWidth = 0;		painter.updateTabSize();		select(0,0,false);		updateScrollBars();		painter.repaint();		gutter.repaint();	}