ignoreCase ? "on" : "off");
regexp ? "on" : "off");
	public static void save()	{		jEdit.setProperty("search.find.value",(search == null ? ""			: search));		jEdit.setProperty("search.replace.value",(replace == null ? ""			: replace));		jEdit.setProperty("search.ignoreCase.toggle",			ignoreCase ? "on" : "off");		jEdit.setProperty("search.regexp.toggle",			ignoreCase ? "on" : "off");	}