| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.50 $ |
| * @version $Revision: 1.51 $ |
| * |
| * Last modification: $Date: 2003/07/21 10:46:04 $ |
| * $Id: Controller.java,v 1.50 2003/07/21 10:46:04 swalkenh Exp $ |
| * Last modification: $Date: 2003/07/21 10:53:10 $ |
| * $Id: Controller.java,v 1.51 2003/07/21 10:53:10 swalkenh Exp $ |
| */ |
| |
| package src.control; |
| 64,7 → 64,7 |
|---|
| parser = new Parser(); |
| aDocumentFactory = new DocumentFactory(myGui.getLogInterface()); |
| updateView = new UpdateView(); |
| pluginManager = new PluginManager(myGui, updateView, myGui.getLogInterface(), parser); |
| pluginManager = new PluginManager("src/control/config.xml", myGui, updateView, myGui.getLogInterface(), parser); |
| |
| |
| gUIListener.setDocManagerInterface(docMaster); |