From f94705a8470e0e13730bf113a19ad0590f6d86e6 Mon Sep 17 00:00:00 2001 From: Reinhard Pointner Date: Sun, 22 May 2016 02:14:18 +0800 Subject: [PATCH] Extra padding for GTK LaF --- source/net/filebot/ui/MainFrame.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/net/filebot/ui/MainFrame.java b/source/net/filebot/ui/MainFrame.java index c8ac7138..fdbad107 100644 --- a/source/net/filebot/ui/MainFrame.java +++ b/source/net/filebot/ui/MainFrame.java @@ -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");