public void displayOptionsChanged(Options options, String optionName, Object oldValue,
			Object newValue) {
		if (optionName.equals(FONT_OPTION_NAME)) {
			baseFont = (Font) newValue;
			setMetrics(baseFont);
		}
		else if (optionName.equals(styleOptionName)) {
			style = options.getInt(optionName, -1);
			setMetrics(baseFont);
		}
		model.update();
	}
Notifications that the display options changed.
@param options the Display Options object that changed.
@param optionName the name of the property that changed.
@param oldValue the old value of the property.
@param newValue the new value of the property.
Ghidra/Features/Base/src/main/java/ghidra/app/util/viewer/field/FieldFactory.java