public void changedUpdate(DocumentEvent evt) {  setFirstLine(buffer.physicalToVirtual(physFirstLine));    updateScrollBars();   gutter.repaint(); painter.repaint(); }
public void changedUpdate(DocumentEvent evt) {}
		public void changedUpdate(DocumentEvent evt)		{			// recalculate first line			setFirstLine(buffer.physicalToVirtual(physFirstLine));			// update scroll bars because the number of			// virtual lines might have changed			updateScrollBars();			// repaint gutter and painter			gutter.repaint();			painter.repaint();		}