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