| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.48 $ |
| * @version $Revision: 1.49 $ |
| * |
| * Last modification: $Date: 2003/07/18 15:55:07 $ |
| * $Id: Controller.java,v 1.48 2003/07/18 15:55:07 hjokusch Exp $ |
| * Last modification: $Date: 2003/07/18 16:27:39 $ |
| * $Id: Controller.java,v 1.49 2003/07/18 16:27:39 smcsporr Exp $ |
| */ |
| |
| package src.control; |
| 64,11 → 64,10 |
|---|
| parser = new Parser(); |
| aDocumentFactory = new DocumentFactory(myGui.getLogInterface()); |
| updateView = new UpdateView(); |
| pluginManager = new PluginManager(myGui, updateView); |
| pluginManager = new PluginManager(myGui, updateView, myGui.getLogInterface()); |
| |
| |
| gUIListener.setDocManagerInterface(docMaster); |
| pluginManager.setLogInterface(myGui.getLogInterface()); |
| |
| /* The plugin manager gives the plugin loader a reference to the document |
| * manager. */ |