Changeset 30959


Ignore:
Timestamp:
2016-10-27T13:25:51+13:00 (7 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:
1 edited

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
Note: See TracChangeset for help on using the changeset viewer.