/** Create the marker update handler. */
public SynchronizeModelUpdateHandler(AbstractSynchronizeModelProvider provider) {
super(
TeamUIMessages.SynchronizeModelProvider_0,
TeamUIMessages.SynchronizeModelUpdateHandler_0); //
this.provider = provider;
ResourcesPlugin.getWorkspace().addResourceChangeListener(this);
provider.getSyncInfoSet().addSyncSetChangedListener(this);
}
public void dispose() {
shutdown();
ResourcesPlugin.getWorkspace().removeResourceChangeListener(this);
provider.getSyncInfoSet().removeSyncSetChangedListener(this);
}