| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.14 $ |
| * @version $Revision: 1.15 $ |
| * |
| * Last modification: $Date: 2003/07/16 19:23:16 $ |
| * $Id: DocumentManagerInterface.java,v 1.14 2003/07/16 19:23:16 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/18 14:20:19 $ |
| * $Id: DocumentManagerInterface.java,v 1.15 2003/07/18 14:20:19 hjokusch Exp $ |
| */ |
| |
| package src.control; |
| 15,6 → 15,7 |
|---|
| import java.io.File; |
| |
| import java.util.LinkedList; |
| import java.util.Enumeration; |
| |
| import org.apache.xerces.dom.DocumentImpl; |
| |
| 48,6 → 49,10 |
|---|
| // TODO JavaDoc-comments |
| public void closeAll(); |
| |
| public void setActualVisibleTree(Enumeration en); |
| |
| public Enumeration getActualVisibleTree(); |
| |
| /** |
| * This method displays a <code>JFileChooser</code> and parses a file if the user |
| * chooses one. |