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