- Timestamp:
- 2006-04-07T12:36:40+12:00 (18 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/EnrichPane.java
r11619 r11620 131 131 collection_tree.getSelectionModel().setSelectionMode(TreeSelectionModel.DISCONTIGUOUS_TREE_SELECTION); 132 132 collection_tree.addTreeSelectionListener(this); 133 134 133 JScrollPane collection_scroll = new JScrollPane(collection_tree); 135 136 134 collection_filter = collection_tree.getFilter(); 137 collection_filter.setBackground(Configuration.getColor("coloring.collection_heading_background", false));138 collection_filter.setEditable(Configuration.getMode() > Configuration.LIBRARIAN_MODE);139 Dictionary.registerTooltip(collection_filter.getComboBox(), "Collection.Filter_Tooltip");140 135 141 136 // Layout
Note:
See TracChangeset
for help on using the changeset viewer.