| .. | .. |
|---|
| 463 | 463 | mainPanel.setResizeWeight(0.5); |
|---|
| 464 | 464 | |
|---|
| 465 | 465 | //mainPanel.setDividerSize((int) (mainPanel.getDividerSize() * 1.5)); |
|---|
| 466 | | -// BasicSplitPaneDivider divider = ( (BasicSplitPaneUI) mainPanel.getUI()).getDivider(); |
|---|
| 467 | | -// divider.setDividerSize(15); |
|---|
| 468 | | -// divider.setBorder(BorderFactory.createTitledBorder(divider.getBorder(), "Custom border title -- gets rid of the one-touch arrows!")); |
|---|
| 466 | + BasicSplitPaneDivider divider = ( (BasicSplitPaneUI) mainPanel.getUI()).getDivider(); |
|---|
| 467 | + divider.setDividerSize(15); |
|---|
| 468 | + divider.setBorder(BorderFactory.createTitledBorder(divider.getBorder(), "Custom border title -- gets rid of the one-touch arrows!")); |
|---|
| 469 | 469 | |
|---|
| 470 | + mainPanel.setUI(new BasicSplitPaneUI()); |
|---|
| 470 | 471 | |
|---|
| 471 | 472 | //ctrlPanel.setLayout(new GridLayout(4, 1, 5, 5)); |
|---|
| 472 | 473 | //mainPanel.setLayout(new GridBagLayout()); |
|---|
