|
@@ -150,9 +150,9 @@ public final class SwingPreferencesDialog extends StandardDialog implements
|
150
|
150
|
getOkButton().addActionListener(this);
|
151
|
151
|
getCancelButton().addActionListener(this);
|
152
|
152
|
|
153
|
|
- setLayout(new MigLayout("fillx, wmax 650, hmin 600, hmax 600, pack"));
|
|
153
|
+ setLayout(new MigLayout("fillx, wmax 650, hmin 600, hmax 600, pack, debug"));
|
154
|
154
|
add(tabList, "w 150!, growy, spany 3");
|
155
|
|
- add(mainPanel, "wrap, w 480!, pushy");
|
|
155
|
+ add(mainPanel, "wrap, w 480!, pushy, growy");
|
156
|
156
|
add(getLeftButton(), "span, split, right");
|
157
|
157
|
add(getRightButton(), "right");
|
158
|
158
|
}
|
|
@@ -242,7 +242,7 @@ public final class SwingPreferencesDialog extends StandardDialog implements
|
242
|
242
|
final DefaultListModel model = (DefaultListModel) tabList.getModel();
|
243
|
243
|
int indexToSelect = 1;
|
244
|
244
|
int size = model.getSize();
|
245
|
|
- for (int i = 0; i <= size; i++) {
|
|
245
|
+ for (int i = 0; i < size; i++) {
|
246
|
246
|
final PreferencesCategory category =
|
247
|
247
|
(PreferencesCategory) model.get(i);
|
248
|
248
|
if (oldCategoryPath.equals(category.getPath())) {
|