Changeset 5926

Timestamp:

2003-11-21T10:18:27+13:00 (20 years ago)

Author:

jmt12

Message:

When a plugin is unassigned the list of available plugins stays sorted

File:

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

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

@@ -297 +297 @@
     //Gatherer.println("However " + children().size() + " are in use,");
     //Gatherer.println("So only " + available.size() + " remain.");
+    Collections.sort(available);
     return available.toArray();
     }