| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.13 $ |
| * @version $Revision: 1.14 $ |
| * |
| * Last modification: $Date: 2003/07/15 22:23:21 $ |
| * $Id: DocumentManagerInterface.java,v 1.13 2003/07/15 22:23:21 ioklasse Exp $ |
| * Last modification: $Date: 2003/07/16 19:23:16 $ |
| * $Id: DocumentManagerInterface.java,v 1.14 2003/07/16 19:23:16 smcsporr Exp $ |
| */ |
| |
| package src.control; |
| 105,8 → 105,15 |
|---|
| // TODO JavaDoc-comments |
| public void setDocument(DocumentImpl docu); |
| |
| // TODO JavaDoc-comments |
| public void setModified(); |
| /** |
| * <code>actualDocumentChanged</code> returns true, if the |
| * actual Document is Changed and not saved; otherwise it return false |
| * |
| * author H. Jakusch |
| * |
| * Last revision: 18-Jul-2003 |
| */ |
| public boolean actualDocumentChanged(); |
| |
| /** |
| * Delivers the name of the actual document. |