|
@@ -1850,8 +1850,6 @@ public class GUI<E> implements CategoryListener {
|
|
splitHolonElPro.setBottomComponent(scrollProperties);
|
|
splitHolonElPro.setBottomComponent(scrollProperties);
|
|
splitGraphHolonEl.setDividerLocation(150);
|
|
splitGraphHolonEl.setDividerLocation(150);
|
|
splitGraphHolonEl.setTopComponent(scrollGraph);
|
|
splitGraphHolonEl.setTopComponent(scrollGraph);
|
|
- // set scroll graph invisible until needed
|
|
|
|
- scrollGraph.setVisible(false);
|
|
|
|
splitGraphHolonEl.setBottomComponent(scrollElements);
|
|
splitGraphHolonEl.setBottomComponent(scrollElements);
|
|
canvasSP.setViewportView(canvas);
|
|
canvasSP.setViewportView(canvas);
|
|
algorithmMenu.setBackground(new Color(240, 240, 240));
|
|
algorithmMenu.setBackground(new Color(240, 240, 240));
|