guiserver/java/MenuWidget.java

   1 //
   2 //  MenuWidget.java
   3 //  guiserver
   4 //
   5 //  Created by Lutz Mueller on 5/21/07.
   6 //
   7 //
   8 //    Copyright (C) 2007 Lutz Mueller
   9 //
  10 //    This program is free software: you can redistribute it and/or modify
  11 //    it under the terms of the GNU General Public License as published by
  12 //    the Free Software Foundation, either version 3 of the License, or
  13 //    (at your option) any later version.
  14 //
  15 //    This program is distributed in the hope that it will be useful,
  16 //    but WITHOUT ANY WARRANTY; without even the implied warranty of
  17 //    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  18 //    GNU General Public License for more details.
  19 //
  20 //    You should have received a copy of the GNU General Public License
  21 //    along with this program.  If not, see <http://www.gnu.org/licenses/>.
  22 //
  23
  24
  25 import java.awt.*;
  26 import java.awt.event.*;
  27 import javax.swing.*;
  28 import javax.swing.event.*;
  29 import java.util.*;
  30
  31 public class MenuWidget extends gsObject {
  32
  33 JMenu jmenu;
  34
  35 @SuppressWarnings("unchecked")
  36 public MenuWidget(StringTokenizer params)
  37         {
  38         id = params.nextToken();
  39         jmenu = new JMenu(Base64Coder.decodeString(params.nextToken()));
  40         container = jmenu;
  41         jcomponent = jmenu;
  42         component = jmenu;
  43
  44         gsObject.widgets.put(id, this);
  45         }
  46
  47 public void addSeparator(StringTokenizer tokens)
  48         {
  49         jmenu.addSeparator();
  50         }
  51 }
  52
  53
  54 // eof //