DynamicMenuChanged

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> org >> gjt >> sp >> jedit >> [ msg overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

Sourc code of org.gjt.sp.jedit.msg.DynamicMenuChanged

SOURCE |

Download org.gjt.sp.jedit.msg.DynamicMenuChanged

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

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 org.gjt.sp.jedit.EBMessage

Sending this message will cause the specified dynamic menu to be recreated.

Since:: jEdit 4.2pre2
Version:: $Id: DynamicMenuChanged.java,v 1.2 2003/05/02 23:36:00 spestov Exp $

Nested Class Summary

Nested classes inherited from class org.gjt.sp.jedit.EBMessage

org.gjt.sp.jedit.EBMessage.NonVetoable

Field Summary

private java.lang.String name


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

Constructor Summary

DynamicMenuChanged(java.lang.String name)
          Creates a new dynamic menu changed message.

Method Summary

java.lang.String getMenuName()
          Returns the name of the menu in question.

java.lang.String paramString()
          Returns a string representation of this message's parameters.

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

getSource, isVetoed, toString, veto

Methods inherited from class java.lang.Object

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

Field Detail

name

private java.lang.String name

Constructor Detail