private void setFont(Font font) {
		FontMetrics fm = panel.getFontMetrics(font);
		panel.setFontMetrics(fm);
		tool.setConfigChanged(true);
	}
Notification that an option changed.

@param options options object containing the property that changed
@param optionName name of option that changed
@param oldValue old value of the option
@param newValue new value of the option
Ghidra/Features/ByteViewer/src/main/java/ghidra/app/plugin/core/byteviewer/ByteViewerComponentProvider.java