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