textArea.select(textArea.getCaretPosition(),pos);
textArea.select(dot,pos);
	public void actionPerformed(ActionEvent evt)	{		View view = getView(evt);		SyntaxTextArea textArea = view.getTextArea();		int pos = view.getBuffer().getAnchor();		if(pos != -1)			textArea.select(textArea.getCaretPosition(),pos);		else			view.getToolkit().beep();	}