| 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); |
| |