view.getTextArea().replaceSelection(clip);
view.getTextArea().setSelectedText(clip);
	private void doInsert()	{		int selected = clips.getSelectedIndex();		if(selected != -1)		{			String clip = clipHistory.getItem(selected);			view.getTextArea().replaceSelection(clip);		}		dispose();	}