Author: jflesch
Date: 2006-07-18 19:47:22 +0000 (Tue, 18 Jul 2006)
New Revision: 9657
Modified:
trunk/apps/Thaw/src/thaw/plugins/QueueWatcher.java
Log:
Another fix for the left panel ...
Modified: trunk/apps/Thaw/src/thaw/plugins/QueueWatcher.java
===================================================================
--- trunk/apps/Thaw/src/thaw/plugins/QueueWatcher.java 2006-07-18 19:40:36 UTC
(rev 9656)
+++ trunk/apps/Thaw/src/thaw/plugins/QueueWatcher.java 2006-07-18 19:47:22 UTC
(rev 9657)
@@ -30,7 +30,7 @@
private DetailPanel detailPanel;
private JPanel panel;
- private final static int DIVIDER_LOCATION = -1;
+ private final static int DIVIDER_LOCATION = 310;
private long lastChange = 0;
private boolean folded = false;
@@ -63,16 +63,16 @@
mainPanel = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT,
detailPanel.getPanel(), panel);
-
+
if(core.getConfig().getValue("detailPanelFolded") == null
|| ((new
Boolean(core.getConfig().getValue("detailPanelFolded"))).booleanValue()) ==
true) {
folded = true;
detailPanel.getPanel().setVisible(false);
mainPanel.setDividerLocation(1);
} else {
- folded = true; /* Don't ask me why */
+ folded = false;
detailPanel.getPanel().setVisible(true);
- mainPanel.setDividerLocation(-1);
+ mainPanel.setDividerLocation(DIVIDER_LOCATION);
}
mainPanel.addPropertyChangeListener(this);
@@ -164,7 +164,7 @@
mainPanel.setDividerLocation(1);
} else {
detailPanel.getPanel().setVisible(true);
- mainPanel.setDividerLocation(-1);
+ mainPanel.setDividerLocation(DIVIDER_LOCATION);
}
}