Ignore:
Timestamp:
2006-04-07T12:36:40+12:00 (18 years ago)
Author:
mdewsnip
Message:

Rearranged some more workspace and collection tree code to reduce duplication.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/gli/src/org/greenstone/gatherer/gui/EnrichPane.java

    r11619 r11620  
    131131    collection_tree.getSelectionModel().setSelectionMode(TreeSelectionModel.DISCONTIGUOUS_TREE_SELECTION);
    132132    collection_tree.addTreeSelectionListener(this);
    133 
    134133    JScrollPane collection_scroll = new JScrollPane(collection_tree);
    135 
    136134    collection_filter = collection_tree.getFilter();
    137     collection_filter.setBackground(Configuration.getColor("coloring.collection_heading_background", false));
    138     collection_filter.setEditable(Configuration.getMode() > Configuration.LIBRARIAN_MODE);
    139     Dictionary.registerTooltip(collection_filter.getComboBox(), "Collection.Filter_Tooltip");
    140135
    141136    // Layout
Note: See TracChangeset for help on using the changeset viewer.