4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.18 $ |
* @version $Revision: 1.19 $ |
* |
* Last modification: $Date: 2003/07/21 14:04:00 $ |
* $Id: DocumentManagerInterface.java,v 1.18 2003/07/21 14:04:00 smcsporr Exp $ |
* Last modification: $Date: 2003/07/21 16:39:48 $ |
* $Id: DocumentManagerInterface.java,v 1.19 2003/07/21 16:39:48 smcsporr Exp $ |
*/ |
|
package src.control; |
23,7 → 23,7 |
* This interface describes the functionality, which an implementation of a |
* document manager must provide. |
* |
* @version $Revision: 1.87 $ Last modification: $Date: 2003/07/21 15:36:37 $ |
* @version $Revision: 1.19 $ Last modification: $Date: 2003/07/21 16:39:48 $ |
*/ |
public interface DocumentManagerInterface { |
|
85,7 → 85,7 |
public void setActualVisibleTree(Enumeration en); |
|
/** |
* The methode <code> setActualVisibleTree </code> returns |
* The method <code>getActualVisibleTree</code> returns |
* an <code>Enumeration</code> of the visible <code>TreePath</code>s. |
* |
* @return Enumeration of the TreePath objects |