| /******************************************************************************* |
| * Copyright (c) 2004, 2006 IBM Corporation and others. |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v1.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v10.html |
| * |
| * Contributors: |
| * IBM Corporation - initial API and implementation |
| *******************************************************************************/ |
| package org.eclipse.ui.internal.menus; |
| |
| /** |
| * An instance of this interface can be used by clients to receive notification |
| * of changes to one or more instances of <code>SMenuManager</code>. |
| * <p> |
| * Clients may implement this interface, but must not be extend. |
| * </p> |
| * <p> |
| * <strong>PROVISIONAL</strong>. This class or interface has been added as |
| * part of a work in progress. There is a guarantee neither that this API will |
| * work nor that it will remain the same. Please do not use this API without |
| * consulting with the Platform/UI team. |
| * </p> |
| * <p> |
| * This class will eventually exist in <code>org.eclipse.jface.menus</code>. |
| * </p> |
| * |
| * @since 3.2 |
| * @see SMenuManager#addListener(IMenuManagerListener) |
| * @see SMenuManager#removeListener(IMenuManagerListener) |
| */ |
| public interface IMenuManagerListener { |
| |
| /** |
| * Notifies that one or more properties of an instance of |
| * <code>SMenuManager</code> have changed. Specific details are described |
| * in the <code>MenuManagerEvent</code>. |
| * |
| * @param event |
| * The event; never <code>null</code>. |
| */ |
| void menuManagerChanged(MenuManagerEvent event); |
| } |
