| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.69 $ |
| * @version $Revision: 1.71 $ |
| * |
| * Last modification: $Date: 2003/07/17 14:41:10 $ |
| * $Id: GUI.java,v 1.69 2003/07/17 14:41:10 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/18 13:57:19 $ |
| * $Id: GUI.java,v 1.71 2003/07/18 13:57:19 cstollen Exp $ |
| */ |
| |
| package src.gui; |
| 47,7 → 47,7 |
|---|
| /** |
| * @author group 5 |
| * |
| * @version $Revision: 1.69 $ Last modification: $Date: 2003/07/17 14:41:10 $ |
| * @version $Revision: 1.71 $ Last modification: $Date: 2003/07/18 13:57:19 $ |
| */ |
| public class GUI |
| extends JFrame implements GuiInterface,WindowListener { // implements ActionListener, ComponentListener, WindowListener |
| 145,7 → 145,7 |
|---|
| splitterMain = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT); |
| splitterMain.setLeftComponent(treeScrollPane); |
| splitterMain.setRightComponent(splitter); |
| splitterMain.setDividerLocation(100); |
| splitterMain.setDividerLocation(200); |
| splitterMain.setOneTouchExpandable(true); |
| //added 14.07.03 Sascha W. for better display |
| splitterMain.setContinuousLayout(true); |