- Timestamp:
- 2016-08-12T19:47:27+12:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r29036 r30701 257 257 DebugStream.println(cce.toString()); 258 258 } 259 } 260 else if(esrc == menu_bar.edit_config) { 261 if(Gatherer.c_man.getCollection() != null) { 262 //JOptionPane.showMessageDialog(this, "Not yet implemented", "Edit config", JOptionPane.INFORMATION_MESSAGE); 263 ConfigFileEditor configEditor = new ConfigFileEditor(); 264 configEditor.setVisible(true); 265 configEditor.setSize(900,700); 266 267 } 259 268 } 260 269 … … 1133 1142 } 1134 1143 } 1144 else if(e.getSource() == menu_bar.edit) { // someone clicked the toplevel Edit menu 1145 // gray out the Edit Config File menu if there's no collection currently open. 1146 if(Gatherer.c_man.getCollection() == null) { 1147 menu_bar.edit_config.setEnabled(false); 1148 } 1149 else { // don't forget to reenable the Edit ConfigXML menu item when applicable 1150 menu_bar.edit_config.setEnabled(true); 1151 } 1152 } 1153 1135 1154 } 1136 1155 }
Note:
See TracChangeset
for help on using the changeset viewer.