- Timestamp:
- 2009-05-01T14:57:14+12:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
gli/trunk/src/org/greenstone/gatherer/gui/GUIManager.java
r19271 r19306 375 375 tab_pane.setFont(Configuration.getFont("general.font", false)); 376 376 377 if (Configuration.get("workflow.download", true) ) {377 if (Configuration.get("workflow.download", true) && Gatherer.isDownloadEnabled) { 378 378 download_pane = new DownloadPane(); 379 379 // "GUI.Download_Tooltip" is used automatically
Note:
See TracChangeset
for help on using the changeset viewer.