4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.118 $ |
* @version $Revision: 1.119 $ |
* |
* Last modification: $Date: 2003/07/25 11:28:18 $ |
* $Id: DocumentManager.java,v 1.118 2003/07/25 11:28:18 smcsporr Exp $ |
* Last modification: $Date: 2003/07/25 11:41:27 $ |
* $Id: DocumentManager.java,v 1.119 2003/07/25 11:41:27 smcsporr Exp $ |
*/ |
|
package src.control; |
50,7 → 50,7 |
* |
* @author Group 5 |
* |
* @version $Revision: 1.118 $ Last modification: $Date: 2003/07/25 11:28:18 $ |
* @version $Revision: 1.119 $ Last modification: $Date: 2003/07/25 11:41:27 $ |
*/ |
public class DocumentManager implements ActionListener,DocumentManagerInterface,ChangeListener { |
|
810,6 → 810,8 |
pluginTabbedPane.addTab(actualDocument.getTitle(),panel); |
openDocumentList.add(actualDocument); |
updateView.update(); |
if(validator.validateDocument(actualDocument.getDomDoc(), actualDocument.getFileName())== false) |
logInterfaceReference.log(LogInterface.TYPE_ERROR, "The document " + actualDocument.getTitle()+" does not fit to the specified grammar"); |
actualDocument.setSaved(); |
pluginTabbedPane.setSelectedIndex(pluginTabbedPane.getComponentCount()-1); |
return true; |
822,6 → 824,8 |
parser.parse(fileChooser.getSelectedFile()); |
actualDocument.setDomDoc((parser.getDocument())); |
updateView.update(); |
if(validator.validateDocument(actualDocument.getDomDoc(), actualDocument.getFileName())== false) |
logInterfaceReference.log(LogInterface.TYPE_ERROR, "The document " + actualDocument.getTitle()+" does not fit to the specified grammar"); |
actualDocument.setSaved(); |
return true; |
} else { |