4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.58 $ |
* @version $Revision: 1.59 $ |
* |
* Last modification: $Date: 2003/07/22 06:31:31 $ |
* $Id: Controller.java,v 1.58 2003/07/22 06:31:31 swalkenh Exp $ |
* Last modification: $Date: 2003/07/22 18:27:48 $ |
* $Id: Controller.java,v 1.59 2003/07/22 18:27:48 smcsporr Exp $ |
*/ |
|
package src.control; |
23,7 → 23,7 |
* |
* @author H. Jakusch |
* |
* @version $Revision: 1.58 $ Last modification: $Date: 2003/07/22 06:31:31 $ |
* @version $Revision: 1.59 $ Last modification: $Date: 2003/07/22 18:27:48 $ |
*/ |
public class Controller { |
|
76,10 → 76,12 |
/* Give DocumentManager interface to the guiListener. */ |
gUIListener.setDocManagerInterface(docMaster); |
|
/* The plugin manager gives the plugin loader a reference to the document |
* manager. */ |
/* Gives the plugin manager a reference to the document manager. */ |
pluginManager.setDocumentManagerInterface(docMaster); |
|
/* Gives the plugin manager a reference to updateView. */ |
pluginManager.setUpdateViewInterface(updateView); |
|
/* Give updateView a reference of the GUI */ |
updateView.setGuiReference(myGui); |
|