Extra padding for GTK LaF

This commit is contained in:
Reinhard Pointner 2016-05-22 02:14:18 +08:00
parent 826830a034
commit f94705a847
1 changed files with 1 additions and 1 deletions

View File

@ -80,7 +80,7 @@ public class MainFrame extends JFrame {
headerPanel.getTitleLabel().setBorder(new EmptyBorder(8, 90, 10, 0));
JComponent c = (JComponent) getContentPane();
c.setLayout(new MigLayout("insets 0, fill, hidemode 3", String.format("%dpx[fill]", isUbuntuApp() ? 115 : 95), "fill"));
c.setLayout(new MigLayout("insets 0, fill, hidemode 3", String.format("%dpx[fill]", isUbuntuApp() ? 110 : 95), "fill"));
c.add(selectionListScrollPane, "pos 6px 10px n 100%-12px");
c.add(headerPanel, "growx, dock north");