4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.7 $ |
* @version $Revision: 1.8 $ |
* |
* Last modification: $Date: 2003/07/13 15:28:28 $ |
* $Id: PluginManager.java,v 1.19 2003/07/14 10:02:47 swalkenh Exp $ |
* Last modification: $Date: 2003/07/14 10:58:35 $ |
* $Id: OtherGUIActions.java,v 1.8 2003/07/14 10:58:35 smcsporr Exp $ |
*/ |
|
package src.control; |
21,6 → 21,7 |
// TODO JavaDoc class description |
public class OtherGUIActions implements ActionListener |
{ |
private DocumentManagerInterface docMaster; |
|
/** |
* Empty constructor |
27,6 → 28,11 |
*/ |
public OtherGUIActions() { |
} |
|
public void setDocManagerInterface(DocumentManagerInterface doc) |
{ |
docMaster = doc; |
} |
|
/** |
* Method needed by ActionListener. |
35,6 → 41,7 |
|
if (e.getActionCommand() == "Exit") { |
if (quitConfirmed() == true) { |
// docMaster.closeAll(); |
System.exit(0); |
} |
} |