95 |
sp.setBorder(BorderFactory.createEmptyBorder()); |
sp.setBorder(BorderFactory.createEmptyBorder()); |
96 |
sp.setOpaque(false); |
sp.setOpaque(false); |
97 |
javax.swing.JViewport wp = sp.getViewport(); |
javax.swing.JViewport wp = sp.getViewport(); |
98 |
wp.setMinimumSize(new Dimension(420, wp.getMinimumSize().height)); |
wp.setMinimumSize(new Dimension(400, wp.getMinimumSize().height)); |
99 |
wp.setOpaque(false); |
wp.setOpaque(false); |
100 |
sp.setMaximumSize(new Dimension(sp.getMaximumSize().width, Short.MAX_VALUE)); |
sp.setMaximumSize(new Dimension(sp.getMaximumSize().width, Short.MAX_VALUE)); |
101 |
sp.getVerticalScrollBar().setBorder(BorderFactory.createEmptyBorder(7, 4, 0, 1)); |
sp.getVerticalScrollBar().setBorder(BorderFactory.createEmptyBorder(7, 4, 0, 1)); |
122 |
gridbag.setConstraints(sp, c); |
gridbag.setConstraints(sp, c); |
123 |
add(sp); |
add(sp); |
124 |
|
|
125 |
//setMaximumSize(new Dimension(420, Short.MAX_VALUE)); |
setMaximumSize(new Dimension(420, Short.MAX_VALUE)); |
126 |
} |
} |
127 |
|
|
128 |
private JPanel |
private JPanel |
143 |
|
|
144 |
private void |
private void |
145 |
onScrollBarVisibilityChanged() { |
onScrollBarVisibilityChanged() { |
146 |
|
int w = 420; |
147 |
int h = scrollPane.getPreferredSize().height; |
int h = scrollPane.getPreferredSize().height; |
148 |
int scrollbarWidth = scrollPane.getVerticalScrollBar().getPreferredSize().width; |
int scrollbarWidth = scrollPane.getVerticalScrollBar().getPreferredSize().width; |
149 |
|
|
150 |
if(scrollPane.getVerticalScrollBar().isVisible()) { |
if(scrollPane.getVerticalScrollBar().isVisible()) w += scrollbarWidth; |
151 |
scrollPane.setPreferredSize(new Dimension(420 + scrollbarWidth, h)); |
|
152 |
} else { |
scrollPane.setMinimumSize(new Dimension(w, scrollPane.getPreferredSize().height)); |
153 |
scrollPane.setPreferredSize(new Dimension(420, h)); |
scrollPane.setPreferredSize(new Dimension(w, h)); |
154 |
|
scrollPane.setMaximumSize(new Dimension(w, Short.MAX_VALUE)); |
155 |
|
setMaximumSize(new Dimension(w, Short.MAX_VALUE)); |
156 |
|
|
157 |
|
if(CC.getMainFrame() != null && !CC.getMainFrame().isResizable()) { |
158 |
|
// this means that there are no visible side panes |
159 |
|
|
160 |
|
w = CC.getMainFrame().getPreferredSize().width; |
161 |
|
CC.getMainFrame().setSize(w, CC.getMainFrame().getHeight()); |
162 |
} |
} |
163 |
|
|
164 |
revalidate(); |
revalidate(); |