org.gjt.sp.jedit.msg
Class DynamicMenuChanged
java.lang.Object
org.gjt.sp.jedit.EBMessage
org.gjt.sp.jedit.msg.DynamicMenuChanged
- public class DynamicMenuChanged
- extends EBMessage
Sending this message will cause the specified dynamic menu to be recreated.
- Since:
- jEdit 4.2pre2
- Version:
- $Id: DynamicMenuChanged.java,v 1.3 2004/03/28 00:07:26 spestov Exp $
- Author:
- Slava Pestov
DynamicMenuChanged
public DynamicMenuChanged(String name)
- Creates a new dynamic menu changed message.
- Parameters:
name
- The menu name. All dynamic menus with this name will be
recreated next time they are displayed.
getMenuName
public String getMenuName()
- Returns the name of the menu in question.
paramString
public String paramString()
- Description copied from class:
EBMessage
- Returns a string representation of this message's parameters.
- Overrides:
paramString
in class EBMessage