| |
|
| java.lang.Object org.gjt.sp.jedit.EBMessage org.gjt.sp.jedit.msg.DynamicMenuChanged
DynamicMenuChanged | public class DynamicMenuChanged extends EBMessage (Code) | | Sending this message will cause the specified dynamic menu to be recreated.
author: Slava Pestov version: $Id: DynamicMenuChanged.java 5004 2004-03-28 00:07:27Z spestov $ since: jEdit 4.2pre2 |
Constructor Summary | |
public | DynamicMenuChanged(String name) Creates a new dynamic menu changed message.
Parameters: name - The menu name. |
DynamicMenuChanged | public DynamicMenuChanged(String name)(Code) | | Creates a new dynamic menu changed message.
Parameters: name - The menu name. All dynamic menus with this name will berecreated next time they are displayed. |
getMenuName | public String getMenuName()(Code) | | Returns the name of the menu in question.
|
|
|
|