| /sun/xmleditor/trunk/src/gui/GUI.java |
|---|
| 134,7 → 134,7 |
| JSplitPane splitter = new JSplitPane(JSplitPane.VERTICAL_SPLIT); |
| splitter.setBottomComponent(logPanel); |
| splitter.setTopComponent(pluginPanel); |
| splitter.setDividerLocation(300); |
| splitter.setDividerLocation(400); |
| splitter.setOneTouchExpandable(true); |
| //added 14.07.03 Sascha W. for better display |
| splitter.setContinuousLayout(true); |