if(batch.isSelected()) { jEdit.setProperty("search.mode.value", "batch"); }
jEdit.setBooleanProperty("search.batch.toggle", batch.isSelected()); update();
		public void actionPerformed(ActionEvent evt)		{			Object source = evt.getSource();			if(evt.getSource() == find)			{				String text = find.getText();				if(text.length() == 0)				{					jEdit.setBooleanProperty("search.batch.toggle",						batch.isSelected());					SearchAndReplace.showSearchDialog(view,null);				}				else if(batch.isSelected())				{					find.addCurrentToHistory();					find.setText(null);					SearchAndReplace.setSearchString(text);					SearchAndReplace.setSearchFileSet(new CurrentBufferSet());					SearchAndReplace.batchSearch(view);				}				else				{					// on enter, start search from end					// of current match to find next one					find.addCurrentToHistory();					incrementalSearch(view.getTextArea()						.getSelectionEnd());				}			}			else if(evt.getSource() == batch)			{				if(batch.isSelected())				{					jEdit.setProperty("search.mode.value",						"batch");				}			}			else if(evt.getSource() == ignoreCase)			{				SearchAndReplace.setIgnoreCase(ignoreCase					.isSelected());			}			else if(evt.getSource() == regexp)			{				SearchAndReplace.setRegexp(regexp					.isSelected());			}		}