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. */ |