|
@@ -62,10 +62,8 @@ import javax.swing.JPanel;
|
62
|
62
|
import javax.swing.JSplitPane;
|
63
|
63
|
import javax.swing.MenuSelectionManager;
|
64
|
64
|
import javax.swing.SwingUtilities;
|
65
|
|
-import javax.swing.UIManager;
|
66
|
65
|
import javax.swing.WindowConstants;
|
67
|
66
|
|
68
|
|
-import net.miginfocom.layout.PlatformDefaults;
|
69
|
67
|
import lombok.Getter;
|
70
|
68
|
import net.miginfocom.swing.MigLayout;
|
71
|
69
|
|
|
@@ -404,11 +402,8 @@ public final class MainFrame extends JFrame implements WindowListener,
|
404
|
402
|
* Lays out the this component.
|
405
|
403
|
*/
|
406
|
404
|
private void layoutComponents() {
|
407
|
|
- final int height = getFontMetrics(UIManager.getFont("Table.font"))
|
408
|
|
- .getHeight() + (int) PlatformDefaults.getUnitValueX("related")
|
409
|
|
- .getValue();
|
410
|
405
|
getContentPane().add(mainSplitPane, "grow, push");
|
411
|
|
- getContentPane().add(statusBar, "hmax "+height+", wmax 100%-2*rel, "
|
|
406
|
+ getContentPane().add(statusBar, "wmax 100%-2*rel, "
|
412
|
407
|
+ "wmin 100%-2*rel, south, gap rel rel 0 rel");
|
413
|
408
|
}
|
414
|
409
|
|