Changeset 5351
- Timestamp:
- 2003-08-29T11:40:35+12:00 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/CollectionPane.java
r5350 r5351 256 256 workspace_pane.setSize(TREE_SIZE); 257 257 258 workspace_label = new JLabel(get(" Workspace"));258 workspace_label = new JLabel(get("Collection.Workspace")); 259 259 workspace_label.setOpaque(true); 260 260 workspace_label.setBackground(Gatherer.config.getColor("coloring.workspace_heading_background", false));
Note:
See TracChangeset
for help on using the changeset viewer.