nice preferred sizes

diff --git a/src/net/pterodactylus/jsite/gui/FileManager.java b/src/net/pterodactylus/jsite/gui/FileManager.java
index 6bd83fc..9e288b8 100644 (file)
--- 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));