@Deprecated(since = "11.0.2", forRemoval = true)
	default public void registerOptionsEditor(OptionsEditor editor) {
		String caller = ReflectionUtilities.getClassNameOlderThan(Options.class);
		String message = """
				Using deprecated call to registerOption(OptionsEditor) from % for options %s
				""".formatted(caller, getName());
		Msg.debug(this, message);
		registerOptionsEditor(() -> editor);
	}
Use instead {@link #registerOptionsEditor(Supplier)}
@param editor the editor
@deprecated Use instead {@link #registerOptionsEditor(Supplier)}
Ghidra/Framework/Gui/src/main/java/ghidra/framework/options/Options.java