IActivityManager
This interface may be implemented by clients.
189190191192193194195196197198199
/** * @return */ private IActivityManagerListener getActivityManagerListener() { if (activityManagerListener == null) { activityManagerListener = new IActivityManagerListener() { public void activityManagerChanged( ActivityManagerEvent activityManagerEvent) { if (activityManagerEvent.haveEnabledActivityIdsChanged()) { updateManagers(); // called after all identifiers have
2930313233343536373839
} this.activityManager = activityManager; this.activityManager .addActivityManagerListener(new IActivityManagerListener() { public void activityManagerChanged( ActivityManagerEvent activityManagerEvent) { ActivityManagerEvent proxyActivityManagerEvent = new ActivityManagerEvent( ProxyActivityManager.this, activityManagerEvent .haveDefinedActivityIdsChanged(),
8081828384858687888990
public WorkbenchActivitySupport() { mutableActivityManager = ActivityManagerFactory .getMutableActivityManager(); proxyActivityManager = new ProxyActivityManager(mutableActivityManager); mutableActivityManager .addActivityManagerListener(new IActivityManagerListener() { private Set lastEnabled = new HashSet( mutableActivityManager.getEnabledActivityIds()); /* (non-Javadoc)