Changeset 19306 for gli/trunk/src/org/greenstone/gatherer/gui
- Timestamp:
- 2009-05-01T14:57:14+12:00 (15 years ago)
- Location:
- gli/trunk/src/org/greenstone/gatherer/gui
- Files:
-
- 3 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 -
gli/trunk/src/org/greenstone/gatherer/gui/MenuBar.java
r18370 r19306 216 216 help.add(help_general); 217 217 help.add(new JSeparator()); 218 if (Configuration.get("workflow.download", true) ) {218 if (Configuration.get("workflow.download", true) && Gatherer.isDownloadEnabled) { 219 219 help.add(help_download); 220 220 } -
gli/trunk/src/org/greenstone/gatherer/gui/Preferences.java
r18589 r19306 638 638 workflow_download = new JCheckBox(Dictionary.get("GUI.Download")+" - "+Dictionary.get("GUI.Download_Tooltip")); 639 639 workflow_download.setComponentOrientation(Dictionary.getOrientation()); 640 workflow_download.setSelected(Configuration.get("workflow.download", false) );640 workflow_download.setSelected(Configuration.get("workflow.download", false) && Gatherer.isDownloadEnabled); 641 641 workflow_download.setPreferredSize(ROW_SIZE); 642 642
Note:
See TracChangeset
for help on using the changeset viewer.