@Override
	public void optionsChanged(ToolOptions options, String name, Object oldValue, Object newValue) {
		if (options == displayOptions) {
			for (int i = 0; i < NUM_MODELS; i++) {
				models[i].displayOptionsChanged(options, name, oldValue, newValue);
			}
		}
		else if (options == fieldOptions) {
			templateSimplifier.fieldOptionsChanged(options, name, oldValue, newValue);
			for (int i = 0; i < NUM_MODELS; i++) {
				models[i].fieldOptionsChanged(options, name, oldValue, newValue);
			}
			getArrayDisplayOptions(options);
		}

		modelChanged(null);
	}
Returns the {@link ListingHighlightProvider} that should be used when creating 
{@link FieldFactory} objects.
@return the provider
Ghidra/Features/Base/src/main/java/ghidra/app/util/viewer/format/FormatManager.java