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