Changeset 8212
- Timestamp:
- 2004-10-04T15:35:02+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java
r7999 r8212 218 218 Dictionary.registerText(site_label, "Preferences.Connection.Site"); 219 219 site_label.setPreferredSize(LABEL_SIZE); 220 // what should we do if Gatherer.servlet_config.getSites() is null? 220 221 site_combobox = new JComboBox(Gatherer.servlet_config.getSites().toArray()); 221 222 Dictionary.registerTooltip(site_combobox, "Preferences.Connection.Site_Tooltip");
Note:
See TracChangeset
for help on using the changeset viewer.