Changeset 11761
- Timestamp:
- 2006-05-03T11:40:41+12:00 (18 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/EnrichPane.java
r11629 r11761 49 49 import org.greenstone.gatherer.metadata.MetadataValueTreeNode; 50 50 import org.greenstone.gatherer.metadata.MetadataXMLFileManager; 51 import org.greenstone.gatherer.util.DragGroup;52 51 53 52 … … 111 110 public void display() 112 111 { 113 // C reation112 // Collection Tree 114 113 collection_pane = new JPanel(new BorderLayout()); 115 114 collection_pane.setMinimumSize(MINIMUM_SIZE); 116 115 collection_pane.setPreferredSize(COLLECTION_TREE_SIZE); 117 116 118 external_split = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT);119 120 117 collection_label = new JLabel(); 121 118 Dictionary.registerText(collection_label, "Collection.No_Collection"); 122 119 collection_label.setOpaque(true); 123 120 124 DragGroup group = new DragGroup();125 121 collection_tree = Gatherer.c_man.getCollectionTree(); 126 group.add(collection_tree);127 122 collection_tree.getSelectionModel().setSelectionMode(TreeSelectionModel.DISCONTIGUOUS_TREE_SELECTION); 128 123 collection_tree.addTreeSelectionListener(this); 129 124 collection_filter = collection_tree.getFilter(); 125 126 external_split = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT); 130 127 131 128 // Layout
Note:
See TracChangeset
for help on using the changeset viewer.