public void addToSelection(Selection selection)
public void addToSelection(Selection[] selection)
	public void addToSelection(Selection selection)	{		invalidateSelectedLines();		selectionManager.addToSelection(selection);		finishCaretUpdate(caretLine,NO_SCROLL,true);	} //}}}