Changeset 5847 for trunk/gli/src/org/greenstone/gatherer/gui/tree
- Timestamp:
- 2003-11-14T15:03:33+13:00 (21 years ago)
- Location:
- trunk/gli/src/org/greenstone/gatherer/gui/tree
- Files:
-
- 1 added
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/tree/DragTree.java
r5593 r5847 54 54 static private final int AUTOSCROLL_MARGIN = 12; 55 55 56 static public int COLLECTION_CHANGED = 1; 57 static public int COLLECTION_CONTENTS_CHANGED = 2; 58 static public int TREE_DISPLAY_CHANGED = 3; 59 60 56 61 public DragTree(String name, String background_name, boolean mixed_selection) { 57 62 super(); … … 452 457 453 458 public void refresh(TreePath path) { 454 ((FileSystemModel)treeModel).refresh(path); 459 if (treeModel instanceof FileSystemModel) { 460 ((FileSystemModel)treeModel).refresh(path); 461 } 462 else { 463 // System.err.println("DragTree::refresh - Tree model is " + treeModel); 464 } 455 465 } 456 466
Note:
See TracChangeset
for help on using the changeset viewer.