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