setSelectionEnd(dot);
select(getMarkPosition(),dot);
		private void doSingleClick(MouseEvent evt, int line, 			int offset, int dot)		{			if((evt.getModifiers() & InputEvent.SHIFT_MASK) != 0)			{				rectSelect = (evt.getModifiers() & InputEvent.CTRL_MASK) != 0;				setSelectionEnd(dot);			}			else				setCaretPosition(dot);		}