4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.62 $ |
* @version $Revision: 1.63 $ |
* |
* Last modification: $Date: 2003/07/25 18:18:27 $ |
* $Id: PluginManager.java,v 1.62 2003/07/25 18:18:27 swalkenh Exp $ |
* Last modification: $Date: 2003/07/26 11:39:29 $ |
* $Id: PluginManager.java,v 1.63 2003/07/26 11:39:29 swalkenh Exp $ |
*/ |
|
package src.plugins; |
56,7 → 56,11 |
|
|
/** |
* This class provides methods for searching and loading plugins. |
* This class provides methods for loading plugins, manages the Events |
* thrown by plugins and manages the configuration of plugins. |
* At startup of <em>XMLEditor</em> this class looks up the path of the |
* plugins and the name of a default plugin out of the configuration |
* file. Plugins found in the path are loaded.... |
* |
* status: to be continued |
* TODO problem if no active plugin..., comments, LogInterface ... |
63,7 → 67,7 |
* |
* @author Sascha Walkenhorst |
* |
* @version $Revision: 1.62 $ Last modification: $Date: 2003/07/25 18:18:27 $ |
* @version $Revision: 1.63 $ Last modification: $Date: 2003/07/26 11:39:29 $ |
*/ |
public class PluginManager implements TreeSelectionListener, |
PluginManagerInterface, |