Changeset 11031 for trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java

Timestamp:

2006-01-13T14:28:56+13:00 (18 years ago)

Author:

kjdon

Message:

removed instructions, changed title to be the same string as in the contents, and use a new class DesignPaneHeader to create teh header which has title and help button

File:

• trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java (modified) (11 diffs)

trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java

@@ -43 +43 @@
 import org.greenstone.gatherer.LocalGreenstone;
 import org.greenstone.gatherer.collection.CollectionContentsChangedListener;
+import org.greenstone.gatherer.gui.DesignPaneHeader;
 import org.greenstone.gatherer.gui.GComboBox;
 import org.greenstone.gatherer.gui.GLIButton;
@@ -54 +55 @@
 import org.w3c.dom.*;
 import org.xml.sax.*;
+
 
 /** This class is for maintaining a list of known plug-ins, and importing new plugins using the parser. */
@@ -664 +666 @@
     /** Button for configuring the selected plugin. */
     private JButton configure = null;
-    /** Buttom to move an assinged plugin as low in the order as possible. */
-    //private JButton move_bottom_button = null;
     /** Button to move an assigned plugin one position lower in the order. */
     private JButton move_down_button = null;
-    /** Button to move an assigned plugin as high in the order as possible. */
-    //private JButton move_top_button = null;
     /** Button to move an assigned plugin one position higher in the order. */
     private JButton move_up_button = null;
@@ -680 +678 @@
     /** The label above the assigned plugin list. */
     private JLabel plugin_list_label = null;
-    /** The title of this view. */
-    private JLabel title = null;
     /** A list of assigned plugins. */
     private JList plugin_list = null;
@@ -688 +684 @@
     /** The region which divides the central portion of the view into list and controls */
     private JPanel central_pane = null;
-    /** The area where title label and instructions sit. */
-    private JPanel header_pane = null;
     /** The area where movement buttons are placed. */
     private JPanel movement_pane = null;
@@ -696 +690 @@
     /** The pane containing the assigned plugin list and its label. */
     private JPanel plugin_list_pane = null;
-    /** The text area containing instructions on the use of this control. */
-    private JTextArea instructions = null;
 
     /** Constructor.
@@ -715 +707 @@
         Dictionary.registerBoth(configure, "CDM.PlugInManager.Configure", "CDM.PlugInManager.Configure_Tooltip");
 
-        header_pane = new JPanel();
-
-        instructions = new JTextArea();
-        instructions.setBackground(Configuration.getColor("coloring.collection_tree_background", false));
-        instructions.setEditable(false);
-        instructions.setLineWrap(true);
-        instructions.setRows(6);
-        instructions.setWrapStyleWord(true);
-        Dictionary.registerText(instructions, "CDM.PlugInManager.Instructions");
-
+        JPanel header_pane = new DesignPaneHeader("CDM.GUI.Plugins", "plugins");
         move_up_button = new JButton("", JarTools.getImage("arrow-up.gif"));
         move_up_button.setEnabled(false);
@@ -753 +736 @@
         plugin_list.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
         plugin_list_label = new JLabel();
-        plugin_list_label.setHorizontalAlignment(JLabel.CENTER);
+        //plugin_list_label.setHorizontalAlignment(JLabel.CENTER);
         plugin_list_label.setOpaque(true);
         Dictionary.registerText(plugin_list_label, "CDM.PlugInManager.Assigned");
@@ -765 +748 @@
         Dictionary.registerBoth(remove, "CDM.PlugInManager.Remove", "CDM.PlugInManager.Remove_Tooltip");
 
-        title = new JLabel();
-        title.setHorizontalAlignment(JLabel.CENTER);
-        title.setOpaque(true);
-        Dictionary.registerText(title, "CDM.PlugInManager.Title");
-
         // Listeners
         add.addActionListener(new AddListener()); //all_change_listener is listening to the ArgumentConfiguration
         configure.addActionListener(new ConfigureListener());
         MoveListener ml = new MoveListener();
-        //move_bottom_button.addActionListener(ml);
         move_down_button.addActionListener(ml);
         move_down_button.addActionListener(CollectionDesignManager.all_change_listener);
-        //move_top_button.addActionListener(ml);
         move_up_button.addActionListener(ml);
         move_up_button.addActionListener(CollectionDesignManager.all_change_listener);
@@ -788 +764 @@
 
         // Layout
-        title.setBorder(BorderFactory.createEmptyBorder(0,0,2,0));
-
-        instructions.setBorder(BorderFactory.createEmptyBorder(2,5,2,5));
-
-        header_pane.setLayout(new BorderLayout());
-        header_pane.add(title, BorderLayout.NORTH);
-        header_pane.add(new JScrollPane(instructions), BorderLayout.CENTER);
-
         plugin_list_label.setBorder(BorderFactory.createEmptyBorder(0,2,0,2));
 
@@ -850 +818 @@
 
     /** This method is overridden to ensure the instructions are scrolled to top, before the super classes updateUI() is called.
+        no longer have instructions, do we still need updateUI???
      */
     public void gainFocus() {
-        if(instructions != null) {
-        instructions.setCaretPosition(0);
-        }
         super.updateUI();
     }