| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.17 $ |
| * @version $Revision: 1.18 $ |
| * |
| * Last modification: $Date: 2003/07/22 18:28:19 $ |
| * $Id: OtherGUIActions.java,v 1.17 2003/07/22 18:28:19 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/23 14:58:23 $ |
| * $Id: OtherGUIActions.java,v 1.18 2003/07/23 14:58:23 hjokusch Exp $ |
| */ |
| |
| package src.control; |
| 18,6 → 18,8 |
|---|
| import javax.swing.JFrame; |
| import javax.swing.JOptionPane; |
| |
| import src.plugins.PluginManagerInterface; |
| |
| /** |
| *The class <code> OtherGUIAction </code> implemens an <code> AtionListener</code> |
| *and handels Actionevents from gui, that could not be placed in other classes. |
| 29,6 → 31,9 |
|---|
| public class OtherGUIActions implements ActionListener { |
| |
| private DocumentManagerInterface docMaster; |
| |
| /** needed during exit to save configuration */ |
| private PluginManagerInterface pluginManager; |
| |
| /** |
| * Empty constructor. |
| 52,6 → 57,23 |
|---|
| } |
| |
| /** |
| * Sets a reference to an implementation of a plugin manager. This |
| * manager must implement the <code>PluginManagerInterface</code>. |
| * |
| * @param newPluginManager A plugin manager conforming to src.plugins.PluginManagerInterface. |
| * |
| * @see src.plugins.PluginManager |
| * @see src.plugins.PluginManagerInterface |
| * |
| * author Sascha Walkenhorst |
| * |
| * Last revision: 26-Jul-2003 by S. Walkenhorst |
| */ |
| public void setPluginManagerInterface(PluginManagerInterface newPluginManager) { |
| pluginManager = newPluginManager; |
| } |
| |
| /** |
| * <code>actionPerformed</code> takes <code>ActionEvent</code>s and |
| * performs the appropriate actions. This method catches and handles |
| * <code>ActionEvent</code>s that have an action command 'Exit'. |
| 62,7 → 84,7 |
|---|
| * |
| * @see java.awt.event.ActionEvent |
| * |
| * Last revision: 16-Jul-2003 by S. McSporran |
| * Last revision: 26-Jul-2003 by S. Walkenhorst |
| */ |
| public void actionPerformed(ActionEvent ae) { |
| |
| 73,6 → 95,7 |
|---|
| |
| /* Close all open documents. */ |
| docMaster.closeAll(); |
| pluginManager.saveConfiguration(); |
| System.exit(0); |
| } |
| } |