@Override
	public void optionsChanged(Options options) {
		// do nothing
	}
Determines whether or not the dual listing is currently being shown to the user.
@return true if the dual listing is showing
Ghidra/Features/VersionTracking/src/main/java/ghidra/feature/vt/gui/provider/markuptable/VTMarkupItemsTableProvider.java