Changeset 22682
- Timestamp:
- 2010-08-19T09:29:30+12:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r22605 r22682 352 352 353 353 // Pretty corner icon 354 String gsmall_image = "gatherer _small.gif";354 String gsmall_image = "gatherer.png"; 355 355 if (Configuration.fedora_info.isActive()) { 356 356 gsmall_image = "fli-" + gsmall_image;
Note:
See TracChangeset
for help on using the changeset viewer.