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