DynamicMenuChanged


1   /*
2    * DynamicMenuChanged.java - Message that causes dynamic menus to be
3    * reconstructed
4    * :tabSize=8:indentSize=8:noTabs=false:
5    * :folding=explicit:collapseFolds=1:
6    *
7    * Copyright (C) 2003 Slava Pestov
8    *
9    * This program is free software; you can redistribute it and/or
10   * modify it under the terms of the GNU General Public License
11   * as published by the Free Software Foundation; either version 2
12   * of the License, or any later version.
13   *
14   * This program is distributed in the hope that it will be useful,
15   * but WITHOUT ANY WARRANTY; without even the implied warranty of
16   * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
17   * GNU General Public License for more details.
18   *
19   * You should have received a copy of the GNU General Public License
20   * along with this program; if not, write to the Free Software
21   * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
22   */
23  
24  package org.gjt.sp.jedit.msg;
25  
26  import org.gjt.sp.jedit.*;
27  
28  /**
29   * Sending this message will cause the specified dynamic menu to be recreated.
30   *
31   * @author Slava Pestov
32   * @version $Id: DynamicMenuChanged.java 5004 2004-03-28 00:07:27Z spestov $
33   *
34   * @since jEdit 4.2pre2
35   */
36  public class DynamicMenuChanged extends EBMessage
37  {
38      //{{{ DynamicMenuChanged constructor
39      /**
40       * Creates a new dynamic menu changed message.
41       * @param name The menu name. All dynamic menus with this name will be
42       * recreated next time they are displayed.
43       */
44      public DynamicMenuChanged(String   name)
45      {
46          super(null);
47  
48          this.name = name;
49      } //}}}
50  
51      //{{{ getMenuName() method
52      /**
53       * Returns the name of the menu in question.
54       */
55      public String   getMenuName()
56      {
57          return name;
58      } //}}}
59  
60      //{{{ paramString() method
61      public String   paramString()
62      {
63          return "menu=" + name + "," + super.paramString();
64      } //}}}
65  
66      //{{{ Private members
67      private String   name;
68      //}}}
69  }
70
A to Z: JavaDoc & Examples Daily Java News & Articles Open Source Projects Open Source Codes Free Computer Books Remove Frame
Popular Tags