/** * Returns a set of contexts disabled in the given event, possibly empty. * * @param event the event * @return disabled context id's */ private Set<String> getDisabledContexts(ContextManagerEvent event) { Set<String> prev = new HashSet<String>(event.getPreviouslyActiveContextIds()); Set<String> activeContextIds = event.getContextManager().getActiveContextIds(); if (activeContextIds != null) { prev.removeAll(activeContextIds); } return prev; }
@Override public void contextManagerChanged(ContextManagerEvent event) { if (event.isActiveContextsChanged()) { Set<?> oldContexts = event.getPreviouslyActiveContextIds(); Set<?> newContexts = event.getContextManager().getActiveContextIds(); if (oldContexts.contains(IDebugUIConstants.DEBUG_TOOLBAR_ACTION_SET) != newContexts.contains(IDebugUIConstants.DEBUG_TOOLBAR_ACTION_SET)) { updateCheckedDebugToolBarAction(); } } }
@Override public final void contextManagerChanged(final ContextManagerEvent event) { final String contextId = context.getId(); final boolean enabledChanged; if (event.isActiveContextsChanged()) { final Set previousContexts = event.getPreviouslyActiveContextIds(); final Set currentContexts = contextManager.getActiveContextIds(); if ((previousContexts != null) && (previousContexts.contains(contextId)) && ((currentContexts == null) || (currentContexts .contains(contextId)))) { enabledChanged = true; } else if ((currentContexts != null) && (currentContexts.contains(contextId)) && ((previousContexts == null) || (previousContexts .contains(contextId)))) { enabledChanged = true; } else { enabledChanged = false; } } else { enabledChanged = false; } wrappedListener .contextChanged(new org.eclipse.ui.contexts.ContextEvent( context, false, enabledChanged, false, false)); }
@Override public void contextManagerChanged( org.eclipse.core.commands.contexts.ContextManagerEvent contextManagerEvent) { final String contextId = contextManagerEvent.getContextId(); final boolean definedContextsChanged; final Set previouslyDefinedContextIds; if (contextId == null) { definedContextsChanged = false; previouslyDefinedContextIds = null; } else { definedContextsChanged = true; previouslyDefinedContextIds = new HashSet(); previouslyDefinedContextIds.addAll(contextManager .getDefinedContextIds()); if (contextManagerEvent.isContextDefined()) { previouslyDefinedContextIds.remove(contextId); } else { previouslyDefinedContextIds.add(contextId); } } fireContextManagerChanged(new ContextManagerEvent(this, definedContextsChanged, contextManagerEvent .isActiveContextsChanged(), previouslyDefinedContextIds, contextManagerEvent .getPreviouslyActiveContextIds())); }