Changeset 36173 for main/trunk/gli/src/org/greenstone/gatherer/cdm/BaseIndexManager.java

Timestamp:

2022-05-10T14:35:08+12:00 (2 years ago)

Author:

kjdon

Message:

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

File:

• main/trunk/gli/src/org/greenstone/gatherer/cdm/BaseIndexManager.java (modified) (6 diffs)

main/trunk/gli/src/org/greenstone/gatherer/cdm/BaseIndexManager.java

@@ -31 +31 @@
 import java.util.*;
 import javax.swing.*;
+import javax.swing.border.BevelBorder;
 import javax.swing.event.*;
 import org.greenstone.gatherer.Configuration;
@@ -75 +76 @@
     protected String remove_button_tooltip_key = null;
   protected String default_indicator_key = null; //"CDM.IndexManager.Default_Index_Indicator";
+  protected String set_default_tooltip_key = "CDM.IndexManager.Set_Default_Tooltip";
     protected String nip_new_index_key = null;
     protected String nip_edit_index_key = null;
     protected String nip_source_label_key = null; //"CDM.IndexManager.Source"
+    protected String nip_source_tooltip_key = null; //"CDM.IndexManager.Source"
 
     protected String nip_add_index_button_key = null;//"CDM.IndexManager.Add_Index"
@@ -355 +358 @@
         move_down_button.setEnabled(false);
                 
-        set_default_button = new GLIButton(Dictionary.get("CDM.IndexManager.Set_Default"), Dictionary.get("CDM.IndexManager.Set_Default_Tooltip"));
+        set_default_button = new GLIButton(Dictionary.get("CDM.IndexManager.Set_Default"), Dictionary.get(set_default_tooltip_key));
         set_default_button.setEnabled(false);
         
@@ -404 +407 @@
         button_pane.add(remove_button);
 
-        setBorder(BorderFactory.createEmptyBorder(0,5,0,0));
+        //setBorder(BorderFactory.createEmptyBorder(0,5,0,0));
+            setBorder(BorderFactory.createBevelBorder(BevelBorder.RAISED));
         setLayout(new BorderLayout());
         add(assigned_indexes_pane, BorderLayout.CENTER);
@@ -631 +635 @@
         source_list = new CheckList(false);                
         source_list.setListData(new_data);
-        source_list.setToolTipText(Dictionary.get("CDM.IndexManager.Source_Tooltip"));
+        source_list.setToolTipText(Dictionary.get(nip_source_tooltip_key));
         source_list.addListSelectionListener(new SourceListListener());
 
@@ -722 +726 @@
             metadatum.setValue(index.getID());
         }
+                // is this right? Index vs index
+                metadatum.setType(index_element_name);
         return metadatum;
         }