| 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 { |