public void copyOptions(Options newOptions) {
		List<String> optionNames = newOptions.getOptionNames();
		for (String optionName : optionNames) {
			Object value = newOptions.getObject(optionName, null);
			if (value != null) {
				putObject(optionName, value);
			}
		}
	}
Adds all the options name/value pairs to this Options.
@param newOptions the new options into which the current options values will be placed
Ghidra/Framework/Gui/src/main/java/ghidra/framework/options/ToolOptions.java