- Timestamp:
- 2004-02-18T16:34:35+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/Filter.java
r6389 r6834 109 109 } 110 110 label = new JLabel(); 111 label.setPreferredSize(SIZE);111 //label.setPreferredSize(SIZE); 112 112 Dictionary.setText(label, "Filter.Filter_Tree"); 113 113 // Add listeners.
Note:
See TracChangeset
for help on using the changeset viewer.