| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.129 $ |
| * @version $Revision: 1.130 $ |
| * |
| * Last modification: $Date: 2003/07/26 11:58:33 $ |
| * $Id: DocumentManager.java,v 1.129 2003/07/26 11:58:33 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/26 13:05:45 $ |
| * $Id: DocumentManager.java,v 1.130 2003/07/26 13:05:45 smcsporr Exp $ |
| */ |
| |
| package src.control; |
| 50,7 → 50,7 |
|---|
| * |
| * @author Group 5 |
| * |
| * @version $Revision: 1.129 $ Last modification: $Date: 2003/07/26 11:58:33 $ |
| * @version $Revision: 1.130 $ Last modification: $Date: 2003/07/26 13:05:45 $ |
| */ |
| public class DocumentManager implements ActionListener,DocumentManagerInterface,ChangeListener { |
| |
| 779,7 → 779,7 |
|---|
| // Show nothing if the openDocumentList is empty. |
| if (openDocumentList.isEmpty()) { |
| } else { |
| |
| |
| /* Check if the current index is > -1 for a valide selection */ |
| if (z > -1) { |
| changeToDocument(pluginTabbedPane.getTitleAt(pluginTabbedPane.getSelectedIndex())); |
| 804,7 → 804,6 |
|---|
| */ |
| public boolean loadDocument() { |
| |
| |
| /* Give a reference to the log panel to the parser. */ |
| parser.setLogInterface(logInterfaceReference); |
| |
| 834,7 → 833,7 |
|---|
| /* Set the properties of the new opened document. */ |
| OurDocument x = new OurDocument(logInterfaceReference); |
| actualDocument = x; |
| actualDocument.setFileName(fileChooser.getSelectedFile()); |
| actualDocument.setFileName(fileChooser.getSelectedFile().getAbsoluteFile()); |
| actualDocument.setTitle(actualDocument.getFileName().getName()); |
| |
| parser.parse(fileChooser.getSelectedFile()); |
| 845,6 → 844,7 |
|---|
| 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(); |