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(); |