Module jEdit

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

Version:

$Id: DynamicMenuChanged.java 25325 2020-05-09 08:34:40Z kpouer $

Author:

Slava Pestov

Constructor Summary

Constructors

Constructor	Description
DynamicMenuChanged(String name)	Creates a new dynamic menu changed message.

Method Summary

Modifier and Type	Method	Description
String	getMenuName()	Returns the name of the menu in question.
String	paramString()

Methods inherited from class org.gjt.sp.jedit.EBMessage

getSource, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

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.

Method Details

getMenuName

public String getMenuName()

Returns the name of the menu in question.

paramString

public String paramString()

Overrides:

paramString in class EBMessage

Returns:

a string representation of this message's parameters.