|
@@ -341,12 +341,20 @@ public final class AliasManagerDialog extends StandardDialog implements
|
341
|
341
|
dispose();
|
342
|
342
|
} else if (e.getSource() == showSubs) {
|
343
|
343
|
if (subsPanel.isVisible()) {
|
|
344
|
+ final Dimension minSize = getMinimumSize();
|
|
345
|
+ minSize.setSize(minSize.getWidth(), minSize.getHeight()
|
|
346
|
+ - subsPanel.getSize().getHeight());
|
|
347
|
+ setMinimumSize(minSize);
|
344
|
348
|
subsPanel.setVisible(false);
|
345
|
349
|
pack();
|
346
|
350
|
showSubs.setText("Show Substitutions");
|
347
|
351
|
} else {
|
348
|
352
|
subsPanel.setVisible(true);
|
349
|
353
|
pack();
|
|
354
|
+ final Dimension minSize = getMinimumSize();
|
|
355
|
+ minSize.setSize(minSize.getWidth(), minSize.getHeight()
|
|
356
|
+ + subsPanel.getSize().getHeight());
|
|
357
|
+ setMinimumSize(minSize);
|
350
|
358
|
showSubs.setText("Hide Substitutions");
|
351
|
359
|
}
|
352
|
360
|
}
|