KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > ui > internal > menus > IMenuManagerListener


1 /*******************************************************************************
2  * Copyright (c) 2004, 2006 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials
4  * are made available under the terms of the Eclipse Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/epl-v10.html
7  *
8  * Contributors:
9  * IBM Corporation - initial API and implementation
10  *******************************************************************************/
11 package org.eclipse.ui.internal.menus;
12
13 /**
14  * An instance of this interface can be used by clients to receive notification
15  * of changes to one or more instances of <code>SMenuManager</code>.
16  * <p>
17  * Clients may implement this interface, but must not be extend.
18  * </p>
19  * <p>
20  * <strong>PROVISIONAL</strong>. This class or interface has been added as
21  * part of a work in progress. There is a guarantee neither that this API will
22  * work nor that it will remain the same. Please do not use this API without
23  * consulting with the Platform/UI team.
24  * </p>
25  * <p>
26  * This class will eventually exist in <code>org.eclipse.jface.menus</code>.
27  * </p>
28  *
29  * @since 3.2
30  * @see SMenuManager#addListener(IMenuManagerListener)
31  * @see SMenuManager#removeListener(IMenuManagerListener)
32  */
33 public interface IMenuManagerListener {
34
35     /**
36      * Notifies that one or more properties of an instance of
37      * <code>SMenuManager</code> have changed. Specific details are described
38      * in the <code>MenuManagerEvent</code>.
39      *
40      * @param event
41      * The event; never <code>null</code>.
42      */
43     void menuManagerChanged(MenuManagerEvent event);
44 }
45
Popular Tags