Java 类org.eclipse.core.commands.contexts.ContextManagerEvent 实例源码

public void contextManagerChanged(ContextManagerEvent contextManagerEvent)
{
    setEnabled(contextManagerEvent.getContextManager().getActiveContextIds()
            .contains(ScriptingUIPlugin.SCRIPTING_CONTEXT_ID));
}

/**
 * <p>
 * Notifies this manager that the context manager has changed. This method
 * is intended for internal use only.
 * </p>
 * <p>
 * This method completes in <code>O(1)</code>.
 * </p>
 */
public final void contextManagerChanged(
        final ContextManagerEvent contextManagerEvent) {
    if (contextManagerEvent.isActiveContextsChanged()) {
        // clearSolution();
        recomputeBindings();
    }
}