Class 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()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • DynamicMenuChanged

        public DynamicMenuChanged​(java.lang.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 Detail

      • getMenuName

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

        public java.lang.String paramString()
        Overrides:
        paramString in class EBMessage
        Returns:
        a string representation of this message's parameters.