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