Changeset 30959 for main/trunk/gli

Show
Ignore:
Timestamp:
27.10.2016 13:25:51 (3 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.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • main/trunk/gli/src/org/greenstone/gatherer/gui/ConfigFileEditor.java

    r30854 r30959  
    6363    //private final String DEFAULT_PROCESSING_INSTRUCTION = "<?xml version=\"1.0\" encoding=\"UTF-8\"?>";     
    6464 
    65     private static final Dimension SIZE = new Dimension(640,480); 
     65    private static final Dimension SIZE = new Dimension(850,550); 
    6666 
    6767    public ConfigFileEditor() { 
     68 
     69      super(Gatherer.g_man, true); 
     70      setModal(true); 
     71      setSize(SIZE); 
    6872 
    6973    String collection_folder_path = Gatherer.getCollectDirectoryPath(); 
     
    161165    } 
    162166 
    163  
    164167    // Final dialog setup & positioning. 
    165168    setDefaultCloseOperation(DISPOSE_ON_CLOSE); // get rid of this dialog when it's closed (on dispose()) 
     
    167170    Dimension screen_size = Configuration.screen_size; 
    168171    setLocation((screen_size.width - SIZE.width) / 2, (screen_size.height - SIZE.height) / 2); 
    169      
    170172    } 
    171173