public void invalidateSelectedLines()
public final void invalidateSelectedLines()
	public void invalidateSelectedLines()	{		invalidateLineRange(textArea.getSelectionStartLine(),			textArea.getSelectionEndLine());	}