String filesetStr = jEdit.getProperty("search.multifile.value"); if("all".equals(filesetStr)) fileset = new AllBufferSet(); else fileset = new CurrentBufferSet();
	public static void load()	{		search = jEdit.getProperty("search.find.value");		replace = jEdit.getProperty("search.replace.value");		regexp = "on".equals(jEdit.getProperty("search.regexp.toggle"));		ignoreCase = "on".equals(jEdit.getProperty("search.ignoreCase.toggle"));	}