[patch] planner option dialog consistency

[Liam Stewart]

The attached patch makes the planner option dialog work like the other
dialogs.  Size and location are always reset whenever the window is
opened. The menu seperators between the planner opts, db config, and
preferences menu items are removed so that all three configuration box
actions are grouped together.

Liam

-- 
Liam Stewart :: liam@ualberta.ca
-------------- next part --------------
Index: rhdb-explain/src/com/redhat/rhdb/vise/PlannerOptionsDialog.java
===================================================================
RCS file: /cvs/rhdb/src/rhdb-explain/src/com/redhat/rhdb/vise/PlannerOptionsDialog.java,v
retrieving revision 1.1.1.1
diff -c -r1.1.1.1 PlannerOptionsDialog.java
*** rhdb-explain/src/com/redhat/rhdb/vise/PlannerOptionsDialog.java	27 Feb 2003 16:29:23 -0000	1.1.1.1
--- rhdb-explain/src/com/redhat/rhdb/vise/PlannerOptionsDialog.java	25 Jun 2003 00:20:09 -0000
***************
*** 27,32 ****
--- 27,33 ----
  public class PlannerOptionsDialog extends javax.swing.JDialog {
  	private ActionFactory afactory;
  	private GenericAction okAction, cancelAction;
+ 	private java.awt.Frame owner;
      private JPanel poperations;
      private JCheckBox seqscan;
      private JCheckBox indexscan;
***************
*** 77,82 ****
--- 78,84 ----
      public PlannerOptionsDialog(PlannerOptions defs, java.awt.Frame parent) {
          super(parent, true);
  		this.defopts = defs;
+ 	this.owner = parent;
  
  		// Actions
  		afactory = new ActionFactory();
***************
*** 146,152 ****
          getContentPane().setLayout(new javax.swing.BoxLayout(getContentPane(), javax.swing.BoxLayout.Y_AXIS));
  
          setTitle(ExplainResources.getString(ExplainResources.PLANNEROPTIONS_TITLE));
-         setLocationRelativeTo(getOwner());
          addWindowListener(new java.awt.event.WindowAdapter() {
              public void windowClosing(java.awt.event.WindowEvent evt) {
                  closeDialog(evt);
--- 148,153 ----
***************
*** 432,437 ****
--- 433,448 ----
          //dispose();
      }
      
+     /**
+      * Show the dialog.
+      */
+     public void show()
+     {
+ 	setSize(getPreferredSize());
+ 	setLocationRelativeTo(owner);
+ 	super.show();
+     }
+ 
      /**
       * Set the planner options object being edited to the new values
       * according to the user input.  If the value is the default,
Index: rhdb-explain/src/com/redhat/rhdb/vise/Vise.java
===================================================================
RCS file: /cvs/rhdb/src/rhdb-explain/src/com/redhat/rhdb/vise/Vise.java,v
retrieving revision 1.1.1.3
diff -c -r1.1.1.3 Vise.java
*** rhdb-explain/src/com/redhat/rhdb/vise/Vise.java	27 Feb 2003 16:29:23 -0000	1.1.1.3
--- rhdb-explain/src/com/redhat/rhdb/vise/Vise.java	25 Jun 2003 00:20:12 -0000
***************
*** 1900,1912 ****
  		menu.addSeparator();
  		
  		menu.add(poptsAction.getMenuItem());
- 
- 		menu.addSeparator();
- 		
  		menu.add(dbasesAction.getMenuItem());
- 
- 		menu.addSeparator();
- 		
  		menu.add(prefsAction.getMenuItem());
  
  		// Statement menu
--- 1900,1906 ----