// // SplitPaneWidget.java // guiserver // // Created by Lutz Mueller on 5/22/07. // // // Copyright (C) 2015 Lutz Mueller // // This program is free software: you can redistribute it and/or modify // it under the terms of the GNU General Public License as published by // the Free Software Foundation, either version 3 of the License, or // (at your option) any later version. // // This program is distributed in the hope that it will be useful, // but WITHOUT ANY WARRANTY; without even the implied warranty of // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the // GNU General Public License for more details. // // You should have received a copy of the GNU General Public License // along with this program. If not, see . // import java.awt.*; import java.awt.event.*; import javax.swing.*; import java.util.*; @SuppressWarnings("unchecked") public class SplitPaneWidget extends gsObject { JSplitPane jsplitpane; public SplitPaneWidget(StringTokenizer params) { id = params.nextToken(); if(params.nextToken().equals("horizontal")) { jsplitpane = new JSplitPane(JSplitPane.VERTICAL_SPLIT, true); jsplitpane.setResizeWeight(1.0); } else { jsplitpane = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT, true); jsplitpane.setResizeWeight(0.0); } component = jsplitpane; container = jsplitpane; jcomponent = jsplitpane; if(params.hasMoreTokens()) jsplitpane.setResizeWeight(Float.parseFloat(params.nextToken())); if(params.hasMoreTokens()) jsplitpane.setDividerLocation(Float.parseFloat(params.nextToken())); if(params.hasMoreTokens()) jsplitpane.setDividerSize(Integer.parseInt(params.nextToken())); if(params.hasMoreTokens()) { int width = Integer.parseInt(params.nextToken()); int height = Integer.parseInt(params.nextToken()); jsplitpane.setPreferredSize(new Dimension(width, height)); } gsObject.widgets.put(id, this); } } // eof //