Changeset 11614
- Timestamp:
- 2006-04-06T17:22:12+12:00 (18 years ago)
- Location:
- trunk/gli/src/org/greenstone/gatherer/gui
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/EnrichPane.java
r11608 r11614 130 130 group.add(collection_tree); 131 131 collection_tree.getSelectionModel().setSelectionMode(TreeSelectionModel.DISCONTIGUOUS_TREE_SELECTION); 132 collection_tree.putClientProperty("JTree.lineStyle", "Angled");133 collection_tree.addMouseListener(Gatherer.g_man.foa_listener);134 132 collection_tree.addTreeSelectionListener(this); 135 collection_tree.addTreeExpansionListener(Gatherer.g_man.foa_listener);136 133 collection_tree.setBackgroundNonSelectionColor(Configuration.getColor("coloring.collection_tree_background", false)); 137 134 collection_tree.setTextNonSelectionColor(Configuration.getColor("coloring.collection_tree_foreground", false)); -
trunk/gli/src/org/greenstone/gatherer/gui/GatherPane.java
r11613 r11614 221 221 workspace_tree = new WorkspaceTree(Utility.WORKSPACE_TREE); 222 222 group.add(workspace_tree); 223 workspace_tree.addMouseListener(Gatherer.g_man.foa_listener);224 workspace_tree.addTreeExpansionListener(Gatherer.g_man.foa_listener);225 workspace_tree.putClientProperty("JTree.lineStyle", "Angled");226 223 workspace_tree.setBackgroundNonSelectionColor(Configuration.getColor("coloring.workspace_tree_background", false)); 227 224 workspace_tree.setTextNonSelectionColor(Configuration.getColor("coloring.workspace_tree_foreground", false)); … … 250 247 collection_tree.setEnabled(Gatherer.c_man.getCollectionTreeModel() != null); 251 248 group.add(collection_tree); 252 collection_tree.addMouseListener(Gatherer.g_man.foa_listener);253 collection_tree.addTreeExpansionListener(Gatherer.g_man.foa_listener);254 collection_tree.putClientProperty("JTree.lineStyle", "Angled");255 249 collection_tree.setBackgroundNonSelectionColor(Configuration.getColor("coloring.collection_tree_background", false)); 256 250 collection_tree.setTextNonSelectionColor(Configuration.getColor("coloring.collection_tree_foreground", false)); -
trunk/gli/src/org/greenstone/gatherer/gui/tree/DragTree.java
r11601 r11614 101 101 // Connection 102 102 addKeyListener(new DragTreeKeyListener()); 103 addMouseListener(Gatherer.g_man.foa_listener); 104 addTreeExpansionListener(Gatherer.g_man.foa_listener); 103 105 addTreeSelectionListener(this); 104 106
Note:
See TracChangeset
for help on using the changeset viewer.