| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.10 $ |
| * @version $Revision: 1.11 $ |
| * |
| * Last modification: $Date: 2003/07/26 11:39:28 $ |
| * $Id: PluginManagerInterface.java,v 1.10 2003/07/26 11:39:28 swalkenh Exp $ |
| * Last modification: $Date: 2003/07/28 12:27:32 $ |
| * $Id: PluginManagerInterface.java,v 1.11 2003/07/28 12:27:32 swalkenh Exp $ |
| */ |
| |
| package src.plugins; |
| 24,7 → 24,7 |
|---|
| * |
| * @author Sascha Walkenhorst |
| * |
| * @version $Revision: 1.10 $ Last modification: $Date: 2003/07/26 11:39:28 $ |
| * @version $Revision: 1.11 $ Last modification: $Date: 2003/07/28 12:27:32 $ |
| */ |
| public interface PluginManagerInterface { |
| |
| 60,5 → 60,13 |
|---|
| * Last revision: 26-Jul-2003 by S. Walkenhorst |
| */ |
| public void saveConfiguration(); |
| |
| |
| /** |
| * Updates the document with the content of the plugin |
| * |
| * author Christian Stollenwerk |
| * |
| * Last revision: 28-Jul-2003 by Christian S. |
| */ |
| public void forcePluginReport(); |
| } |