String getTemplate() {
			return input.substring(start + 1, end);	// don't include the enclosing <> chars
		}
Notification that options have changed
@param options the options object that has changed values
@param optionName the name of the options that changed
@param oldValue the old value for the option that changed
@param newValue the new value for the option that changed
@return true if the option that changed was a template simplification option
Ghidra/Features/Base/src/main/java/ghidra/app/util/template/TemplateSimplifier.java