Changeset 13801
- Timestamp:
- 2007-01-25T14:45:07+13:00 (17 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/EnrichPane.java
r13705 r13801 60 60 static private Dimension COLLECTION_TREE_SIZE = new Dimension(250, 500); 61 61 62 private boolean has_focus = false; 62 63 /** The collection tree. */ 63 64 private CollectionTree collection_tree = null; … … 168 169 public void gainFocus() 169 170 { 171 // Remember that we currently have focus 172 has_focus = true; 173 170 174 // Add the collection tree and filter back into this pane 171 175 collection_scroll = new JScrollPane(collection_tree); … … 199 203 collection_pane.remove(collection_scroll); 200 204 collection_pane.remove(collection_filter); 205 206 // Remember that we no longer have focus 207 has_focus = false; 201 208 } 202 209 … … 255 262 public void valueChanged(TreeSelectionEvent event) 256 263 { 264 // If we haven't got focus then it must have been a selection in the Gather pane, so don't bother rebuilding 265 if (has_focus == false) { 266 return; 267 } 268 257 269 // Nothing selected in the collection tree 258 270 if (collection_tree.getSelectionCount() == 0) {
Note:
See TracChangeset
for help on using the changeset viewer.