Changeset 11614


Ignore:
Timestamp:
2006-04-06T17:22:12+12:00 (18 years ago)
Author:
mdewsnip
Message:

Moved some common settings into DragTree.

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  
    130130    group.add(collection_tree);
    131131    collection_tree.getSelectionModel().setSelectionMode(TreeSelectionModel.DISCONTIGUOUS_TREE_SELECTION);
    132     collection_tree.putClientProperty("JTree.lineStyle", "Angled");
    133     collection_tree.addMouseListener(Gatherer.g_man.foa_listener);
    134132    collection_tree.addTreeSelectionListener(this);
    135     collection_tree.addTreeExpansionListener(Gatherer.g_man.foa_listener);
    136133    collection_tree.setBackgroundNonSelectionColor(Configuration.getColor("coloring.collection_tree_background", false));
    137134    collection_tree.setTextNonSelectionColor(Configuration.getColor("coloring.collection_tree_foreground", false));
  • trunk/gli/src/org/greenstone/gatherer/gui/GatherPane.java

    r11613 r11614  
    221221    workspace_tree = new WorkspaceTree(Utility.WORKSPACE_TREE);
    222222    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");
    226223    workspace_tree.setBackgroundNonSelectionColor(Configuration.getColor("coloring.workspace_tree_background", false));
    227224    workspace_tree.setTextNonSelectionColor(Configuration.getColor("coloring.workspace_tree_foreground", false));
     
    250247    collection_tree.setEnabled(Gatherer.c_man.getCollectionTreeModel() != null);
    251248    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");
    255249    collection_tree.setBackgroundNonSelectionColor(Configuration.getColor("coloring.collection_tree_background", false));
    256250    collection_tree.setTextNonSelectionColor(Configuration.getColor("coloring.collection_tree_foreground", false));
  • trunk/gli/src/org/greenstone/gatherer/gui/tree/DragTree.java

    r11601 r11614  
    101101    // Connection
    102102    addKeyListener(new DragTreeKeyListener());
     103    addMouseListener(Gatherer.g_man.foa_listener);
     104    addTreeExpansionListener(Gatherer.g_man.foa_listener);
    103105    addTreeSelectionListener(this);
    104106
Note: See TracChangeset for help on using the changeset viewer.