| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.126 $ |
| * @version $Revision: 1.127 $ |
| * |
| * Last modification: $Date: 2003/07/26 10:51:14 $ |
| * $Id: DocumentManager.java,v 1.126 2003/07/26 10:51:14 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/26 11:31:16 $ |
| * $Id: DocumentManager.java,v 1.127 2003/07/26 11:31:16 smcsporr Exp $ |
| */ |
| |
| package src.control; |
| 50,7 → 50,7 |
|---|
| * |
| * @author Group 5 |
| * |
| * @version $Revision: 1.126 $ Last modification: $Date: 2003/07/26 10:51:14 $ |
| * @version $Revision: 1.127 $ Last modification: $Date: 2003/07/26 11:31:16 $ |
| */ |
| public class DocumentManager implements ActionListener,DocumentManagerInterface,ChangeListener { |
| |
| 967,7 → 967,7 |
|---|
| |
| /* Check, if a DOCTYPE entry exists. */ |
| if (actualDocument.getDomDoc() != null) { |
| actualDocument.changeDTDGrammar(actualDocument.getDomDoc(),null); |
| actualDocument.changeDTDGrammar(actualDocument.getDomDoc(), null); |
| } else { |
| log(LogInterface.TYPE_ERROR, "No DOCTYPE entry found in the current document."); |
| } |