/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); |