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