guiserver/java/ScrollPaneWidget.java

   1 //
   2 //  ScrollPaneWidget.java
   3 //  guiserver
   4 //
   5 //  Created by Lutz Mueller on 5/23/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 javax.swing.*;
  27 import java.util.*;
  28
  29 @SuppressWarnings("unchecked")
  30 public class ScrollPaneWidget extends gsObject {
  31
  32 JScrollPane jscrollpane;
  33
  34 public ScrollPaneWidget(StringTokenizer params)
  35         {
  36         id = params.nextToken();
  37         JComponent client  = ((gsObject)gsObject.widgets.get(params.nextToken())).jcomponent;
  38
  39         jscrollpane = new JScrollPane(client);
  40         jcomponent = jscrollpane;
  41         component = jscrollpane;
  42         container = jscrollpane;
  43
  44         // AS_NEEDED is default
  45         //jscrollpane.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED);
  46         //jscrollpane.setHorizontalScrollBarPolicy(JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
  47
  48         if(params.hasMoreTokens())
  49                 {
  50                 int width = Integer.parseInt(params.nextToken());
  51                 int height = Integer.parseInt(params.nextToken());
  52                 jscrollpane.setPreferredSize(new Dimension(width, height));
  53                 }
  54
  55         gsObject.widgets.put(id, this);
  56         }
  57
  58
  59 }
  60
  61
  62 // eof //