- Timestamp:
- 2006-04-07T12:36:40+12:00 (18 years ago)
- Location:
- trunk/gli/src/org/greenstone/gatherer
- Files:
-
- 6 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/collection/CollectionTree.java
r11617 r11620 53 53 setTextNonSelectionColor(Configuration.getColor("coloring.collection_tree_foreground", false)); 54 54 setTextSelectionColor(Configuration.getColor("coloring.collection_selection_foreground", false)); 55 56 filter.setBackground(Configuration.getColor("coloring.collection_heading_background", false)); 57 filter.setEditable(Configuration.getMode() > Configuration.LIBRARIAN_MODE); 55 58 } 56 59 -
trunk/gli/src/org/greenstone/gatherer/file/WorkspaceTree.java
r11617 r11620 58 58 setTextNonSelectionColor(Configuration.getColor("coloring.workspace_tree_foreground", false)); 59 59 setTextSelectionColor(Configuration.getColor("coloring.workspace_selection_foreground", false)); 60 61 filter.setBackground(Configuration.getColor("coloring.workspace_heading_background", false)); 62 filter.setEditable(Configuration.getMode() > Configuration.LIBRARIAN_MODE); 60 63 } 61 64 -
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 -
trunk/gli/src/org/greenstone/gatherer/gui/Filter.java
r11063 r11620 115 115 label = new JLabel(); 116 116 Dictionary.setText(label, "Filter.Filter_Tree"); 117 Dictionary.registerTooltip(combobox, "Collection.Filter_Tooltip"); 118 117 119 // Add listeners. 118 120 combobox.addActionListener(new ComboBoxListener()); -
trunk/gli/src/org/greenstone/gatherer/gui/GatherPane.java
r11619 r11620 221 221 workspace_tree = new WorkspaceTree(Utility.WORKSPACE_TREE); 222 222 group.add(workspace_tree); 223 224 223 workspace_scroll = new JScrollPane(workspace_tree); 225 226 224 workspace_filter = workspace_tree.getFilter(); 227 workspace_filter.setBackground(Configuration.getColor("coloring.workspace_heading_background", false));228 workspace_filter.setEditable(Configuration.getMode() > Configuration.LIBRARIAN_MODE);229 Dictionary.registerTooltip(workspace_filter.getComboBox(), "Collection.Filter_Tooltip");230 225 231 226 // Collection Tree … … 242 237 collection_tree.setEnabled(Gatherer.c_man.getCollectionTreeModel() != null); 243 238 group.add(collection_tree); 244 245 239 collection_scroll = new JScrollPane(collection_tree); 246 247 240 collection_filter = collection_tree.getFilter(); 248 collection_filter.setBackground(Configuration.getColor("coloring.collection_heading_background", false));249 collection_filter.setEditable(Configuration.getMode() > Configuration.LIBRARIAN_MODE);250 Dictionary.registerTooltip(collection_filter.getComboBox(), "Collection.Filter_Tooltip");251 241 252 242 tree_pane = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT); -
trunk/gli/src/org/greenstone/gatherer/gui/tree/DragTree.java
r11619 r11620 33 33 private DragGroup group; 34 34 /** The filter for this tree. */ 35 pr ivateFilter filter = null;35 protected Filter filter = null; 36 36 /** The image to use for the disabled background. */ 37 37 private ImageIcon disabled_background;
Note:
See TracChangeset
for help on using the changeset viewer.