| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.136 $ |
| * @version $Revision: 1.137 $ |
| * |
| * Last modification: $Date: 2003/07/28 13:27:18 $ |
| * $Id: DocumentManager.java,v 1.136 2003/07/28 13:27:18 hjokusch Exp $ |
| * Last modification: $Date: 2003/07/28 14:26:35 $ |
| * $Id: DocumentManager.java,v 1.137 2003/07/28 14:26:35 smcsporr Exp $ |
| */ |
| |
| package src.control; |
| 50,7 → 50,7 |
|---|
| * |
| * @author Group 5 |
| * |
| * @version $Revision: 1.136 $ Last modification: $Date: 2003/07/28 13:27:18 $ |
| * @version $Revision: 1.137 $ Last modification: $Date: 2003/07/28 14:26:35 $ |
| */ |
| public class DocumentManager implements ActionListener, DocumentManagerInterface, |
| ChangeListener { |
| 837,15 → 837,16 |
|---|
| (! alreadyOpened(fileChooserOpen.getSelectedFile().getName()))) { |
| |
| /* Set the properties of the new opened document. */ |
| OurDocument x = new OurDocument(logInterfaceReference); |
| actualDocument = x; |
| actualDocument.setFileName(fileChooserOpen.getSelectedFile().getAbsoluteFile()); |
| actualDocument.setTitle(actualDocument.getFileName().getName()); |
| OurDocument docu = new OurDocument(logInterfaceReference); |
| |
| docu.setFileName(fileChooserOpen.getSelectedFile().getAbsoluteFile()); |
| docu.setTitle(docu.getFileName().getName()); |
| |
| parser.parse(fileChooserOpen.getSelectedFile()); |
| |
| /* Save the parsed document object in the active OurDocument instance. */ |
| actualDocument.setDomDoc((parser.getDocument())); |
| docu.setDomDoc((parser.getDocument())); |
| actualDocument = docu; |
| JPanel panel = new JPanel(); |
| pluginTabbedPane.addTab(actualDocument.getTitle(),panel); |
| openDocumentList.add(actualDocument); |