Method recordPath

ij/src/main/java/ij/plugin/frame/Recorder.java:531–546

(String key, String path)

	}
	
	public static void recordPath(String key, String path) {
		if (key==null || !recordPath) {
			recordPath = true;
			return;
		}
		key = trimKey(key);
		path = fixPath(path);
		path = addQuotes(path);
		if (commandOptions!=null && commandOptions.contains(key+"="+path))
			return; // don't record duplicate
		checkForDuplicate(key+"=", path);
		if (commandOptions==null || commandOptions.equals(" "))
			commandOptions = key+"="+path;
		else
			commandOptions += " "+key+"="+path;
	}

	public static void recordOption(String key) {
		if (key==null) return;