From 826830a03462b5a2dd62eff69c854fbf0c775b86 Mon Sep 17 00:00:00 2001 From: Reinhard Pointner Date: Sun, 22 May 2016 02:09:06 +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 2a6bc561..c8ac7138 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() ? 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(headerPanel, "growx, dock north");