Package 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
-
-
Constructor Summary
Constructors Constructor Description DynamicMenuChanged(java.lang.String name)
Creates a new dynamic menu changed message.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.String
getMenuName()
Returns the name of the menu in question.java.lang.String
paramString()
-
-
-
Method Detail
-
getMenuName
public java.lang.String getMenuName()
Returns the name of the menu in question.
-
paramString
public java.lang.String paramString()
- Overrides:
paramString
in classEBMessage
- Returns:
- a string representation of this message's parameters.
-
-