}
		public void insertUpdate(DocumentEvent evt)		{			// on insert, start search from beginning of			// current match. This will continue to highlight			// the current match until another match is found			if(incremental.getModel().isSelected())				incrementalSearch(view.getTextArea()					.getSelectionStart());		}