4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.115 $ |
* @version $Revision: 1.116 $ |
* |
* Last modification: $Date: 2003/07/24 19:57:53 $ |
* $Id: DocumentManager.java,v 1.115 2003/07/24 19:57:53 smcsporr Exp $ |
* Last modification: $Date: 2003/07/24 22:18:06 $ |
* $Id: DocumentManager.java,v 1.116 2003/07/24 22:18:06 ioklasse Exp $ |
*/ |
|
package src.control; |
50,7 → 50,7 |
* |
* @author Group 5 |
* |
* @version $Revision: 1.115 $ Last modification: $Date: 2003/07/24 19:57:53 $ |
* @version $Revision: 1.116 $ Last modification: $Date: 2003/07/24 22:18:06 $ |
*/ |
public class DocumentManager implements ActionListener,DocumentManagerInterface,ChangeListener { |
|
370,7 → 370,7 |
* The current instance is the document currently chosen in the tabbed pane and displayed |
* in the tree and plugin area. |
* |
* @return The implementation of a DOM document. |
* @return The implementation of a DOM document(org.apache.xerces.dom.DocumentImpl). |
* |
* @see src.document.OurDocument |
* |