Extra padding for GTK LaF
This commit is contained in:
parent
c1cfb68d9f
commit
826830a034
|
@ -80,7 +80,7 @@ public class MainFrame extends JFrame {
|
||||||
headerPanel.getTitleLabel().setBorder(new EmptyBorder(8, 90, 10, 0));
|
headerPanel.getTitleLabel().setBorder(new EmptyBorder(8, 90, 10, 0));
|
||||||
|
|
||||||
JComponent c = (JComponent) getContentPane();
|
JComponent c = (JComponent) getContentPane();
|
||||||
c.setLayout(new MigLayout("insets 0, fill, hidemode 3", String.format("%dpx[fill]", isUbuntuApp() ? 105 : 95), "fill"));
|
c.setLayout(new MigLayout("insets 0, fill, hidemode 3", String.format("%dpx[fill]", isUbuntuApp() ? 115 : 95), "fill"));
|
||||||
|
|
||||||
c.add(selectionListScrollPane, "pos 6px 10px n 100%-12px");
|
c.add(selectionListScrollPane, "pos 6px 10px n 100%-12px");
|
||||||
c.add(headerPanel, "growx, dock north");
|
c.add(headerPanel, "growx, dock north");
|
||||||
|
|
Loading…
Reference in New Issue