|
@@ -947,7 +947,7 @@ public class GUI<E> implements CategoryListener {
|
|
|
splitPane.setLeftComponent(scrollPane_1);
|
|
|
splitPane_1.setLeftComponent(tabbedPane);
|
|
|
splitPane_1.setRightComponent(split_HolonEl_Pro);
|
|
|
- split_HolonEl_Pro.setDividerLocation(600);
|
|
|
+ split_HolonEl_Pro.setDividerLocation(400);
|
|
|
split_HolonEl_Pro.setTopComponent(split_Graph_HolonEl);
|
|
|
split_HolonEl_Pro.setBottomComponent(scrollProperties);
|
|
|
split_Graph_HolonEl.setDividerLocation(150);
|