[Bprocessor-commit] gui/src/net/sourceforge/bprocessor/gui GUI.java,1.11,1.12

[Michael L. <he...@us...>]

Update of /cvsroot/bprocessor/gui/src/net/sourceforge/bprocessor/gui
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17934/src/net/sourceforge/bprocessor/gui

Modified Files:
	GUI.java 
Log Message:
Small Improvements of layout

Index: GUI.java
===================================================================
RCS file: /cvsroot/bprocessor/gui/src/net/sourceforge/bprocessor/gui/GUI.java,v
retrieving revision 1.11
retrieving revision 1.12
diff -C2 -d -r1.11 -r1.12
*** GUI.java	17 Nov 2005 11:19:32 -0000	1.11
--- GUI.java	20 Nov 2005 19:32:37 -0000	1.12
***************
*** 28,31 ****
--- 28,32 ----
  import java.awt.BorderLayout;
  import java.awt.Component;
+ import java.awt.Dimension;
  import java.awt.event.KeyEvent;
  
***************
*** 287,291 ****
      splitPaneTopDown.setTopComponent(new JPanel());
      splitPaneTopDown.setBottomComponent(new JPanel());
-     splitPaneTopDown.setDividerLocation(460);
  
      splitPaneLeftRight = new JSplitPane();
--- 288,291 ----
***************
*** 300,303 ****
--- 300,305 ----
      tp.addTab("Spaces", new SpacesTreeView());
      tp.addTab("Surfaces", new SurfacesTreeView());
+     tp.setPreferredSize(new Dimension(170, 340));
+     splitPaneTopDown.setMinimumSize(new Dimension(170, 340));
  
      registerPanel(tp, SPLIT_LEFT);
***************
*** 314,324 ****
    public void registerPanel(Component panel, Integer placement) {
      if (placement.equals(SPLIT_LEFT)) {
-       //splitPaneTopDown.remove(1);
        splitPaneTopDown.setTopComponent(new JScrollPane(panel));
      } else if (placement.equals(SPLIT_MIDDLE)) {
-       //splitPaneLeftRight.remove(1);
        splitPaneLeftRight.setRightComponent(panel);
      } else {
-       //splitPaneTopDown.remove(2);
        splitPaneTopDown.setBottomComponent(new JScrollPane(panel));
      }
--- 316,323 ----
***************
*** 334,338 ****
      settings.load();
  
!     setSize(1024, 768);
    }
    
--- 333,337 ----
      settings.load();
  
!     setSize(800, 600);
    }