Changeset 4476

Timestamp:

2003-06-04T13:10:18+12:00 (21 years ago)

Author:

kjdon

Message:

enabled removal of multiple plugins at once from the users plugin list

File:

• trunk/gli/src/org/greenstone/gatherer/cdm/PlugInManager.java (modified) (1 diff)

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

@@ -955 +955 @@
         public void actionPerformed(ActionEvent event) {
         if(!plugin_list.isSelectionEmpty()) {
-            Object object = plugin_list.getSelectedValue();
-            if(object instanceof PlugIn) {
-            removePlugIn((PlugIn)object);
-            }
+            Object [] objects = plugin_list.getSelectedValues();
+            for(int i = 0; i < objects.length; i++) {
+            if(objects[i] instanceof PlugIn) {
+                removePlugIn((PlugIn)objects[i]);
+            }
+            }
+            //Object object = plugin_list.getSelectedValue();
+            //if(object instanceof PlugIn) {
+            //removePlugIn((PlugIn)object);
+            //}
         }
         }