Changeset 30959

Timestamp:

2016-10-27T13:25:51+13:00 (6 years ago)

Author:

kjdon

Message:

Made the ConfigEditor modal so that people can't be editing the format statements in the background making the configeditor's contents stale.

File:

• main/trunk/gli/src/org/greenstone/gatherer/gui/ConfigFileEditor.java (modified) (3 diffs)

main/trunk/gli/src/org/greenstone/gatherer/gui/ConfigFileEditor.java

@@ -63 +63 @@
     //private final String DEFAULT_PROCESSING_INSTRUCTION = "<?xml version=\"1.0\" encoding=\"UTF-8\"?>";    
 
-    private static final Dimension SIZE = new Dimension(640,480);
+    private static final Dimension SIZE = new Dimension(850,550);
 
     public ConfigFileEditor() {
+
+      super(Gatherer.g_man, true);
+      setModal(true);
+      setSize(SIZE);
 
     String collection_folder_path = Gatherer.getCollectDirectoryPath();
@@ -161 +165 @@
     }
 
-
     // Final dialog setup & positioning.
     setDefaultCloseOperation(DISPOSE_ON_CLOSE); // get rid of this dialog when it's closed (on dispose())
@@ -167 +170 @@
     Dimension screen_size = Configuration.screen_size;
     setLocation((screen_size.width - SIZE.width) / 2, (screen_size.height - SIZE.height) / 2);
-    
     }