4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.88 $ |
* @version $Revision: 1.89 $ |
* |
* Last modification: $Date: 2003/07/28 11:42:20 $ |
* $Id: GUI.java,v 1.88 2003/07/28 11:42:20 swalkenh Exp $ |
* Last modification: $Date: 2003/07/28 13:21:40 $ |
* $Id: GUI.java,v 1.89 2003/07/28 13:21:40 smcsporr Exp $ |
*/ |
|
package src.gui; |
21,6 → 21,7 |
|
import java.awt.event.ActionEvent; |
import java.awt.event.ActionListener; |
import java.awt.event.ItemListener; |
import java.awt.event.KeyEvent; |
import java.awt.event.WindowEvent; |
import java.awt.event.WindowListener; |
51,7 → 52,7 |
* |
* @author group 5 |
* |
* @version $Revision: 1.88 $ Last modification: $Date: 2003/07/28 11:42:20 $ |
* @version $Revision: 1.89 $ Last modification: $Date: 2003/07/28 13:21:40 $ |
*/ |
public class GUI |
extends JFrame implements GuiInterface, WindowListener { |
112,11 → 113,12 |
|
/** The required event listeners. */ |
private ActionListener otherGUIListener; |
private ActionListener validatorListener; |
//private ActionListener validatorListener; |
private ActionListener docManager; |
private ActionListener updateViewListener; |
private ActionListener pluginManager; |
private ChangeListener docManagerCL; |
private ItemListener validatorListener; |
|
/* A reference variable to the document manager. */ |
private DocumentManagerInterface docMaster; |
325,7 → 327,7 |
/* Help text for auto validation feature. */ |
autoValidate.setToolTipText("select to enable auto validation"); |
/* Register auto validation button events with docManager. */ |
autoValidate.addActionListener(docManager); |
autoValidate.addItemListener(validatorListener); |
documentMenu.add(autoValidate); |
|
documentMenu.addSeparator(); |
647,11 → 649,13 |
public void setInterfaces(ActionListener otherGuiThings, |
ActionListener duocManager, ActionListener updateViewListenerParam, |
ActionListener newPluginManager, |
ChangeListener chList,DocumentManagerInterface docManInt) { |
ChangeListener chList,DocumentManagerInterface docManInt, |
ItemListener validatorInt) { |
|
otherGUIListener= otherGuiThings; |
docManager= duocManager; |
updateViewListener = updateViewListenerParam; |
validatorListener = validatorInt; |
pluginManager = newPluginManager; |
docManagerCL = chList; |
docMaster= docManInt; |