{ renderingControl.saveCurrentSettings(); String msg = "The settings have now been saved, Note that the " + "parameters set in \"options\" haven't been saved."; registry.getUserNotifier().notifyInfo("Rendering", msg); }
{ renderingControl.saveCurrentSettings(); }
	void saveDisplayOptions()	{		renderingControl.saveCurrentSettings();		String msg = "The settings have now been saved, Note that the " +			"parameters set in \"options\" haven't been saved.";		registry.getUserNotifier().notifyInfo("Rendering", msg);	}