Changeset 36173 for main/trunk/gli/src/org
- Timestamp:
- 2022-05-10T14:35:08+12:00 (2 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/cdm/BaseIndexManager.java
r36165 r36173 31 31 import java.util.*; 32 32 import javax.swing.*; 33 import javax.swing.border.BevelBorder; 33 34 import javax.swing.event.*; 34 35 import org.greenstone.gatherer.Configuration; … … 75 76 protected String remove_button_tooltip_key = null; 76 77 protected String default_indicator_key = null; //"CDM.IndexManager.Default_Index_Indicator"; 78 protected String set_default_tooltip_key = "CDM.IndexManager.Set_Default_Tooltip"; 77 79 protected String nip_new_index_key = null; 78 80 protected String nip_edit_index_key = null; 79 81 protected String nip_source_label_key = null; //"CDM.IndexManager.Source" 82 protected String nip_source_tooltip_key = null; //"CDM.IndexManager.Source" 80 83 81 84 protected String nip_add_index_button_key = null;//"CDM.IndexManager.Add_Index" … … 355 358 move_down_button.setEnabled(false); 356 359 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)); 358 361 set_default_button.setEnabled(false); 359 362 … … 404 407 button_pane.add(remove_button); 405 408 406 setBorder(BorderFactory.createEmptyBorder(0,5,0,0)); 409 //setBorder(BorderFactory.createEmptyBorder(0,5,0,0)); 410 setBorder(BorderFactory.createBevelBorder(BevelBorder.RAISED)); 407 411 setLayout(new BorderLayout()); 408 412 add(assigned_indexes_pane, BorderLayout.CENTER); … … 631 635 source_list = new CheckList(false); 632 636 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)); 634 638 source_list.addListSelectionListener(new SourceListListener()); 635 639 … … 722 726 metadatum.setValue(index.getID()); 723 727 } 728 // is this right? Index vs index 729 metadatum.setType(index_element_name); 724 730 return metadatum; 725 731 }
Note:
See TracChangeset
for help on using the changeset viewer.