String settings = jEdit.getSettingsDirectory(); if(settings != null) { String path = MiscUtilities.constructPath(settings,"abbrevs");  try { Log.log(Log.MESSAGE,Abbrevs.class,"Saving " + path); saveAbbrevs(new FileWriter(path)); } catch(Exception e) { Log.log(Log.ERROR,Abbrevs.class,"Error while saving " + path); Log.log(Log.ERROR,Abbrevs.class,e); } }
	static void save()	{		jEdit.setProperty("view.expandOnInput",expandOnInput			? "yes" : "no");	}