Changeset 6039
- Timestamp:
- 2003-11-28T17:46:57+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/CreatePane.java
r6004 r6039 242 242 243 243 // now do the preview stuff 244 if (!Gatherer.c_man.built()) { 245 preview_button.setEnabled(false); 246 } else if (Gatherer.config.exec_address == null) { 244 if (!Gatherer.c_man.built() || Gatherer.config.exec_address == null) { 247 245 preview_button.setEnabled(false); 248 246 } else { … … 402 400 cancel_button.setEnabled(false); 403 401 build_button.setEnabled(true); 404 preview_button.setEnabled(false); 405 document.setSpecialCharacter(OptionsPane.UNSUCCESSFUL); 402 // The build may have failed, but a previous index may still be in place 403 preview_button.setEnabled(Gatherer.c_man.built()); 404 if(event.getStatus() == GShell.CANCELLED) { 405 document.setSpecialCharacter(OptionsPane.CANCELLED); 406 } 407 else { 408 document.setSpecialCharacter(OptionsPane.UNSUCCESSFUL); 409 } 406 410 options_pane.resetFileEntry(); 407 411 card_layout.show(main_pane, CONTROL);
Note:
See TracChangeset
for help on using the changeset viewer.