Changeset 4428 for trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java

Timestamp:

2003-05-30T14:16:50+12:00 (21 years ago)

Author:

kjdon

Message:

the modal dialog now is one of our special ModalDialogs which only block the parent, enabling the use of help files while the dialog is open. A SimpleMenuBar with help on it has been added to the dialog.

File:

• trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java (modified) (5 diffs)

trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java

@@ -9 +9 @@
 import org.greenstone.gatherer.checklist.Entry;
 import org.greenstone.gatherer.gui.GUIManager;
+import org.greenstone.gatherer.gui.ModalDialog;
 import org.greenstone.gatherer.gui.NumberField;
+import org.greenstone.gatherer.gui.SimpleMenuBar;
 import org.greenstone.gatherer.util.Utility;
 import org.greenstone.gatherer.util.XORToggleButtonGroup;
@@ -15 +17 @@
 
 public class Preferences
-    extends JDialog {
+    extends ModalDialog {
 
     private CheckList warning_preferences_check_list;
@@ -37 +39 @@
     static final Dimension LABEL_SIZE = new Dimension(100, 25);
     static final Dimension ROW_SIZE = new Dimension(380, 25);
-    static final Dimension SIZE = new Dimension(400, 320);
+    static final Dimension SIZE = new Dimension(400, 345);
     static final String TRUE = "true";
 
@@ -46 +48 @@
     setSize(SIZE);
     setTitle("Preferences");
+    setJMenuBar(new SimpleMenuBar("10.2"));
     // Creation
     JPanel content_pane = (JPanel) getContentPane();
@@ -90 +93 @@
     tab_pane = null;
     content_pane = null;
-    show();
+    setVisible(true);
     }