| Line 1... |
Line 1... |
| 1 |
/*
|
1 |
/*
|
| 2 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
|
2 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
|
| 3 |
*
|
3 |
*
|
| 4 |
* Copyright 2011 OpenConcerto, by ILM Informatique. All rights reserved.
|
4 |
* Copyright 2011-2019 OpenConcerto, by ILM Informatique. All rights reserved.
|
| 5 |
*
|
5 |
*
|
| 6 |
* The contents of this file are subject to the terms of the GNU General Public License Version 3
|
6 |
* The contents of this file are subject to the terms of the GNU General Public License Version 3
|
| 7 |
* only ("GPL"). You may not use this file except in compliance with the License. You can obtain a
|
7 |
* only ("GPL"). You may not use this file except in compliance with the License. You can obtain a
|
| 8 |
* copy of the License at http://www.gnu.org/licenses/gpl-3.0.html See the License for the specific
|
8 |
* copy of the License at http://www.gnu.org/licenses/gpl-3.0.html See the License for the specific
|
| 9 |
* language governing permissions and limitations under the License.
|
9 |
* language governing permissions and limitations under the License.
|
| Line 57... |
Line 57... |
| 57 |
c.weightx = 0;
|
57 |
c.weightx = 0;
|
| 58 |
this.add(header, c);
|
58 |
this.add(header, c);
|
| 59 |
c.gridx++;
|
59 |
c.gridx++;
|
| 60 |
c.weightx = 0;
|
60 |
c.weightx = 0;
|
| 61 |
JPanel spacerScroll = new JPanel();
|
61 |
JPanel spacerScroll = new JPanel();
|
| - |
|
62 |
Object width = UIManager.get("ScrollBar.width");
|
| - |
|
63 |
if (width == null) {
|
| - |
|
64 |
// Nimbus
|
| - |
|
65 |
width = Integer.valueOf(20);
|
| - |
|
66 |
}
|
| 62 |
int wScroll = ((Integer) UIManager.get("ScrollBar.width")).intValue();
|
67 |
int wScroll = ((Integer) width).intValue();
|
| 63 |
spacerScroll.setMinimumSize(new Dimension(wScroll, header.getHeight()));
|
68 |
spacerScroll.setMinimumSize(new Dimension(wScroll, header.getHeight()));
|
| 64 |
spacerScroll.setPreferredSize(new Dimension(wScroll, header.getHeight()));
|
69 |
spacerScroll.setPreferredSize(new Dimension(wScroll, header.getHeight()));
|
| 65 |
spacerScroll.setMaximumSize(new Dimension(wScroll, header.getHeight()));
|
70 |
spacerScroll.setMaximumSize(new Dimension(wScroll, header.getHeight()));
|
| 66 |
spacerScroll.setSize(new Dimension(wScroll, header.getHeight()));
|
71 |
spacerScroll.setSize(new Dimension(wScroll, header.getHeight()));
|
| 67 |
this.add(spacerScroll, c);
|
72 |
this.add(spacerScroll, c);
|
