| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.8 $ |
| * @version $Revision: 1.9 $ |
| * |
| * Last modification: $Date: 2003/07/14 09:29:40 $ |
| * $Id: PluginManager.java,v 1.19 2003/07/14 10:02:47 swalkenh Exp $ |
| * Last modification: $Date: 2003/07/14 10:57:43 $ |
| * $Id: DocumentManagerInterface.java,v 1.9 2003/07/14 10:57:43 smcsporr Exp $ |
| */ |
| |
| package src.control; |
| 36,6 → 36,7 |
|---|
| public void saveActualDocument(); |
| public void saveActualDocumentAs(); |
| public void setDocument(DocumentImpl docu); |
| public void setModified(); |
| |
| //added 13.07.03 Sascha W., needed by PluginManager |
| /** |