| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.139 $ |
| * @version $Revision: 1.140 $ |
| * |
| * Last modification: $Date: 2003/07/28 17:09:51 $ |
| * $Id: DocumentManager.java,v 1.139 2003/07/28 17:09:51 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/28 17:51:53 $ |
| * $Id: DocumentManager.java,v 1.140 2003/07/28 17:51:53 smcsporr Exp $ |
| */ |
| |
| package src.control; |
| 52,7 → 52,7 |
|---|
| * |
| * @author Group 5 |
| * |
| * @version $Revision: 1.139 $ Last modification: $Date: 2003/07/28 17:09:51 $ |
| * @version $Revision: 1.140 $ Last modification: $Date: 2003/07/28 17:51:53 $ |
| */ |
| public class DocumentManager implements ActionListener, DocumentManagerInterface, |
| ChangeListener { |
| 293,8 → 293,8 |
|---|
| /* Actions to perform if the user choosed the 'Validate document' option. */ |
| if (event.getActionCommand() == "Validate document") { |
| |
| /* Check, if a document exists. */ |
| if (! openDocumentList.isEmpty()) { |
| /* Check, if a document exists and if it has a non-empty document element. */ |
| if ((! openDocumentList.isEmpty()) && (actualDocument.getDomDoc().getDocumentElement() != null)) { |
| |
| /* Check, if a grammar has been specified. */ |
| if ((actualDocument.getDomDoc().getDocumentElement().hasAttribute("xsi:schemaLocation")) || |