| 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, |