lastLine = buffer.physicalToVirtual(lastLine);
if(lastLine > buffer.virtualToPhysical( buffer.getVirtualLineCount() - 1)) { lastLine = (lastLine - buffer.getLineCount()) + buffer.getVirtualLineCount(); } else lastLine = buffer.physicalToVirtual(lastLine);
	public final void invalidateLineRange(int firstLine, int lastLine)	{		firstLine = buffer.physicalToVirtual(firstLine);		lastLine = buffer.physicalToVirtual(lastLine);		FontMetrics fm = painter.getFontMetrics();		int y = lineToY(firstLine) + fm.getDescent() + fm.getLeading();		int height = (lastLine - firstLine + 1) * fm.getHeight();		painter.repaint(0,y,painter.getWidth(),height);		gutter.repaint(0,y,gutter.getWidth(),height);	}