c.gridy = 0;
c.gridwidth = 1;
c.gridheight = 1;
+ c.weightx = 0;
+ c.weighty = 0;
pane.add(new JLabel("Known Devices"), c);
known_devices = new DeviceList();
c.gridy = 1;
c.gridwidth = 1;
c.gridheight = 2;
+ c.weightx = 1;
+ c.weighty = 1;
pane.add(known_list_scroller, c);
/*
c.gridy = 0;
c.gridwidth = 1;
c.gridheight = 1;
+ c.weightx = 0;
+ c.weighty = 0;
+
pane.add(new JLabel("Visible Devices"), c);
visible_devices = new DeviceList();
c.gridy = 1;
c.gridheight = 2;
c.gridwidth = 1;
+ c.weightx = 1;
+ c.weighty = 1;
pane.add(visible_list_scroller, c);
/*
c.gridy = 1;
c.gridheight = 1;
c.gridwidth = 1;
+ c.weightx = 0;
+ c.weighty = 0;
pane.add(select_arrow, c);
BasicArrowButton deselect_arrow = new BasicArrowButton(SwingConstants.EAST);
c.gridy = 2;
c.gridheight = 1;
c.gridwidth = 1;
+ c.weightx = 0;
+ c.weighty = 0;
pane.add(deselect_arrow, c);
JButton cancel_button = new JButton("Cancel");
c.gridy = 3;
c.gridheight = 1;
c.gridwidth = 1;
+ c.weightx = 0;
+ c.weighty = 0;
pane.add(cancel_button, c);
JButton ok_button = new JButton("OK");
c.gridy = 3;
c.gridheight = 1;
c.gridwidth = 1;
+ c.weightx = 0;
+ c.weighty = 0;
pane.add(ok_button, c);
getRootPane().setDefaultButton(ok_button);