@Override
	public void domainObjectChanged(DomainObjectChangedEvent ev) {
		currentProgramChanged = true;
		if (ev.contains(DomainObjectEvent.SAVED)) {
			domainFileChangedLocally = true;
		}

		updateManager.update();
	}
If version numbers are different, get changes made by others since my
checkout and launch update thread if necessary.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/misc/MyProgramChangesDisplayPlugin.java