Changeset 5804

Timestamp:

2003-11-07T13:16:14+13:00 (20 years ago)

Author:

jmt12

Message:

Added extra checks for when plugins can be added, removed and moved.

File:

• trunk/gli/src/org/greenstone/gatherer/cdm/PlugInManager.java (modified) (9 diffs)

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

@@ -50 +50 @@
 import org.w3c.dom.*;
 import org.xml.sax.*;
-/** This class is resposible for maintaining a list of known plug-ins, and importing new plugins using the parser. */
-public class PlugInManager 
+/** This class is for maintaining a list of known plug-ins, and importing new plugins using the parser. */
+public class PlugInManager
     extends DOMProxyListModel {
     /** The library 'reserve' of base plugins. */
@@ -59 +59 @@
     private DOMProxyListModel model;
     private JPanel separator;
-    private PlugIn separator_plugin; 
+    private PlugIn separator_plugin;
     /** The default size for a label. */
     static final private Dimension LABEL_SIZE = new Dimension(125, 25);
@@ -170 +170 @@
             // Add the moving plugin before the separator
             addBefore(plugin, separator_plugin);
-            Gatherer.c_man.configurationChanged();      
+            Gatherer.c_man.configurationChanged();
         }
         // Otherwise we aren't moving anywhere!
@@ -190 +190 @@
         remove(plugin);
         add(index, plugin);
-        Gatherer.c_man.configurationChanged(); 
+        Gatherer.c_man.configurationChanged();
         }
         else {
@@ -428 +428 @@
     PlugIn plugin = new PlugIn();
     String node_name = null;
-    for(Node node = root.getFirstChild(); node != null; 
+    for(Node node = root.getFirstChild(); node != null;
         node = node.getNextSibling()) {
         node_name = node.getNodeName();
@@ -505 +505 @@
         }
         }
-    } 
+    }
     if(plugin.getName() != null) {
         addPlugIn(plugin);
@@ -515 +515 @@
     /** A class which provodes controls for assigned and editing plugins. */
     private class PlugInControl
-    extends JPanel 
+    extends JPanel
     implements Control {
     /** Button for adding plugins. */
@@ -781 +781 @@
     private class ClickListener
         extends MouseAdapter {
-        /** Called whenever the mouse is clicked over a registered component, we use this to chain through to the configure prompt. 
+        /** Called whenever the mouse is clicked over a registered component, we use this to chain through to the configure prompt.
          * @param event A <strong>MouseEvent</strong> containing information about the mouse click.
         */
@@ -829 +829 @@
 
         public void valueChanged(ListSelectionEvent e) {
-        if (!e.getValueIsAdjusting()) { // we get two events for one change in list selection - use the false one (the second one) 
+        if (!e.getValueIsAdjusting()) { // we get two events for one change in list selection - use the false one (the second one)
             if (plugin_list.isSelectionEmpty()) {
             move_top_button.setEnabled(false);