if(repaint) painter.repaint();
		public void insertUpdate(DocumentEvent evt)		{			documentChanged(evt);			int offset = evt.getOffset();			int length = evt.getLength();			int newStart;			int newEnd;			if(selectionStart >= offset)				newStart = selectionStart + length;			else				newStart = selectionStart;			if(selectionEnd >= offset)				newEnd = selectionEnd + length;			else				newEnd = selectionEnd;			select(newStart,newEnd);		}