guiserver/java/PanelWidget.java

   1 //
   2 //  PanelWidget.java
   3 //  guiserver
   4 //
   5 //  Created by Lutz Mueller on 5/13/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 java.util.*;
  29
  30
  31 @SuppressWarnings("unchecked")
  32 public class PanelWidget extends gsObject {
  33
  34 JPanel jpanel;
  35
  36 public PanelWidget(StringTokenizer params)
  37         {
  38         jpanel = new JPanel();
  39         container = jpanel;
  40         jcomponent = jpanel;
  41         component = jpanel;
  42
  43         id = params.nextToken();
  44
  45         if(params.hasMoreTokens())
  46                 {
  47                 int width = Integer.parseInt(params.nextToken());
  48                 int height = Integer.parseInt(params.nextToken());
  49                 jpanel.setPreferredSize(new Dimension(width, height));
  50                 }
  51
  52         gsObject.widgets.put(id, this);
  53         }
  54
  55
  56 }
  57
  58
  59 // eof //