144 |
devicesTable.setSelectionMode(ListSelectionModel.SINGLE_SELECTION); |
devicesTable.setSelectionMode(ListSelectionModel.SINGLE_SELECTION); |
145 |
JScrollPane sp = new JScrollPane(devicesTable); |
JScrollPane sp = new JScrollPane(devicesTable); |
146 |
|
|
147 |
|
Dimension d; |
148 |
|
d = new Dimension(sp.getMinimumSize().width, sp.getPreferredSize().height); |
149 |
|
sp.setPreferredSize(d); |
150 |
|
|
151 |
JPanel p = new JPanel(); |
JPanel p = new JPanel(); |
152 |
p.setLayout(new BoxLayout(p, BoxLayout.Y_AXIS)); |
p.setLayout(new BoxLayout(p, BoxLayout.Y_AXIS)); |
153 |
p.add(sp); |
p.add(sp); |
166 |
p.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5)); |
p.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5)); |
167 |
channelsPane.add(p); |
channelsPane.add(p); |
168 |
|
|
169 |
|
sp = new JScrollPane(channelParamTable); |
170 |
|
d = new Dimension(sp.getMinimumSize().width, sp.getPreferredSize().height); |
171 |
|
sp.setPreferredSize(d); |
172 |
|
|
173 |
p = new JPanel(); |
p = new JPanel(); |
174 |
p.setLayout(new BorderLayout()); |
p.setLayout(new BorderLayout()); |
175 |
p.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5)); |
p.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5)); |
176 |
p.add(new JScrollPane(channelParamTable)); |
p.add(sp); |
177 |
channelsPane.add(p); |
channelsPane.add(p); |
178 |
|
|
179 |
channelsPane.setBorder ( |
channelsPane.setBorder ( |