4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.60 $ |
* @version $Revision: 1.61 $ |
* |
* Last modification: $Date: 2003/07/25 17:12:41 $ |
* $Id: PluginManager.java,v 1.60 2003/07/25 17:12:41 swalkenh Exp $ |
* Last modification: $Date: 2003/07/25 18:17:50 $ |
* $Id: PluginManager.java,v 1.61 2003/07/25 18:17:50 swalkenh Exp $ |
*/ |
|
package src.plugins; |
64,7 → 64,7 |
* |
* @author Sascha Walkenhorst |
* |
* @version $Revision: 1.60 $ Last modification: $Date: 2003/07/25 17:12:41 $ |
* @version $Revision: 1.61 $ Last modification: $Date: 2003/07/25 18:17:50 $ |
*/ |
public class PluginManager implements TreeSelectionListener, |
PluginManagerInterface, |
1371,6 → 1371,8 |
* If the requiered element <em>PLUGINS</em> doesn't exist, or more than one exists |
* a new one will be created or the first will be taken, others are deleted. |
* |
* TODO use me |
* |
* author Sascha Walkenhorst |
* |
* Last revision: 25-Jul-2003 by Sascha W. |