Index: SplittedPanel.java
===================================================================
RCS file: /cvs/openide/src/org/openide/awt/SplittedPanel.java,v
retrieving revision 1.20
diff -c -r1.20 SplittedPanel.java
*** SplittedPanel.java	26 Oct 2001 19:42:20 -0000	1.20
--- SplittedPanel.java	23 Jan 2002 10:48:35 -0000
***************
*** 823,841 ****
              int width = 0;
              int height = 0;
              if (firstComponent != null) {
!                 Dimension d = firstComponent.getPreferredSize();
                  width = d.width;
                  height = d.height;
              }
              if (secondComponent != null) {
!                 Dimension d = secondComponent.getPreferredSize();
                  if (splitType == VERTICAL) {
!                     int splitterSize = splitter.getPreferredSize ().height;
                      if (width < d.width) width = d.width;
                      height += splitterSize + d.height;
                  }
                  else {
!                     int splitterSize = splitter.getPreferredSize ().width;
                      if (height < d.height) height = d.height;
                      width += splitterSize + d.width;
                  }
--- 823,841 ----
              int width = 0;
              int height = 0;
              if (firstComponent != null) {
!                 Dimension d = firstComponent.getMinimumSize();
                  width = d.width;
                  height = d.height;
              }
              if (secondComponent != null) {
!                 Dimension d = secondComponent.getMinimumSize();
                  if (splitType == VERTICAL) {
!                     int splitterSize = splitter.getMinimumSize ().height;
                      if (width < d.width) width = d.width;
                      height += splitterSize + d.height;
                  }
                  else {
!                     int splitterSize = splitter.getMinimumSize ().width;
                      if (height < d.height) height = d.height;
                      width += splitterSize + d.width;
                  }