4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.46 $ |
* @version $Revision: 1.47 $ |
* |
* Last modification: $Date: 2003/07/16 19:22:42 $ |
* $Id: Controller.java,v 1.46 2003/07/16 19:22:42 smcsporr Exp $ |
* Last modification: $Date: 2003/07/18 14:36:04 $ |
* $Id: Controller.java,v 1.47 2003/07/18 14:36:04 hjokusch Exp $ |
*/ |
|
package src.control; |
52,7 → 52,8 |
|
gUIListener.setDocManagerInterface(docMaster); |
|
pluginManager.setLogInterface(myGui.getLogInterface()); |
pluginManager.setLogInterface(myGui.getLogInterface()); |
|
|
/* The plugin manager gives the plugin loader a reference to the document |
* manager. */ |