Changeset 36173


Ignore:
Timestamp:
2022-05-10T14:35:08+12:00 (5 months ago)
Author:
kjdon
Message:

setDefault tooltip now customisable; added a bevel border round the controls; set type for collectionmeta

File:
1 edited

Legend:

Unmodified
Added
Removed
  • main/trunk/gli/src/org/greenstone/gatherer/cdm/BaseIndexManager.java

    r36165 r36173  
    3131import java.util.*;
    3232import javax.swing.*;
     33import javax.swing.border.BevelBorder;
    3334import javax.swing.event.*;
    3435import org.greenstone.gatherer.Configuration;
     
    7576    protected String remove_button_tooltip_key = null;
    7677  protected String default_indicator_key = null; //"CDM.IndexManager.Default_Index_Indicator";
     78  protected String set_default_tooltip_key = "CDM.IndexManager.Set_Default_Tooltip";
    7779    protected String nip_new_index_key = null;
    7880    protected String nip_edit_index_key = null;
    7981    protected String nip_source_label_key = null; //"CDM.IndexManager.Source"
     82    protected String nip_source_tooltip_key = null; //"CDM.IndexManager.Source"
    8083
    8184    protected String nip_add_index_button_key = null;//"CDM.IndexManager.Add_Index"
     
    355358        move_down_button.setEnabled(false);
    356359               
    357         set_default_button = new GLIButton(Dictionary.get("CDM.IndexManager.Set_Default"), Dictionary.get("CDM.IndexManager.Set_Default_Tooltip"));
     360        set_default_button = new GLIButton(Dictionary.get("CDM.IndexManager.Set_Default"), Dictionary.get(set_default_tooltip_key));
    358361        set_default_button.setEnabled(false);
    359362       
     
    404407        button_pane.add(remove_button);
    405408
    406         setBorder(BorderFactory.createEmptyBorder(0,5,0,0));
     409        //setBorder(BorderFactory.createEmptyBorder(0,5,0,0));
     410            setBorder(BorderFactory.createBevelBorder(BevelBorder.RAISED));
    407411        setLayout(new BorderLayout());
    408412        add(assigned_indexes_pane, BorderLayout.CENTER);
     
    631635        source_list = new CheckList(false);               
    632636        source_list.setListData(new_data);
    633         source_list.setToolTipText(Dictionary.get("CDM.IndexManager.Source_Tooltip"));
     637        source_list.setToolTipText(Dictionary.get(nip_source_tooltip_key));
    634638        source_list.addListSelectionListener(new SourceListListener());
    635639
     
    722726            metadatum.setValue(index.getID());
    723727        }
     728                // is this right? Index vs index
     729                metadatum.setType(index_element_name);
    724730        return metadatum;
    725731        }
Note: See TracChangeset for help on using the changeset viewer.