From f4b669f1e36c16423970aa4a1c7e093756218807 Mon Sep 17 00:00:00 2001 From: =?utf8?q?David=20=E2=80=98Bombe=E2=80=99=20Roden?= Date: Fri, 30 May 2008 16:11:22 +0200 Subject: [PATCH] nice preferred sizes --- src/net/pterodactylus/jsite/gui/FileManager.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/net/pterodactylus/jsite/gui/FileManager.java b/src/net/pterodactylus/jsite/gui/FileManager.java index 6bd83fc..9e288b8 100644 --- a/src/net/pterodactylus/jsite/gui/FileManager.java +++ b/src/net/pterodactylus/jsite/gui/FileManager.java @@ -279,7 +279,7 @@ public class FileManager extends JDialog implements I18nable, ActionListener, Tr fileTree.addMouseListener(this); fileTree.setCellRenderer(fileCellRenderer); fileTreePanel.add(fileScrollPane = new JScrollPane(fileTree), BorderLayout.CENTER); - fileScrollPane.setPreferredSize(new Dimension(250, 400)); + fileScrollPane.setPreferredSize(new Dimension(200, 350)); projectFilesLabel = new I18nLabel("fileManager.label.projectFiles", fileTree); JPanel projectFilesLabelPanel = new JPanel(new FlowLayout(FlowLayout.CENTER, 0, 0)); @@ -294,6 +294,7 @@ public class FileManager extends JDialog implements I18nable, ActionListener, Tr JPanel propertiesPanel = new JPanel(new GridBagLayout()); rightPanel.add(propertiesPanel, BorderLayout.CENTER); propertiesPanel.setBorder(BorderFactory.createCompoundBorder(BorderFactory.createEtchedBorder(), BorderFactory.createEmptyBorder(12, 12, 12, 12))); + propertiesPanel.setPreferredSize(new Dimension(400, 350)); filePropertiesLabel = new I18nLabel("fileManager.label.fileProperties"); filePropertiesLabel.setFont(filePropertiesLabel.getFont().deriveFont(Font.BOLD)); -- 2.7.4