4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.85 $ |
* @version $Revision: 1.86 $ |
* |
* Last modification: $Date: 2003/07/26 10:49:54 $ |
* $Id: GUI.java,v 1.85 2003/07/26 10:49:54 smcsporr Exp $ |
* Last modification: $Date: 2003/07/26 15:35:37 $ |
* $Id: GUI.java,v 1.86 2003/07/26 15:35:37 smcsporr Exp $ |
*/ |
|
package src.gui; |
51,7 → 51,7 |
* |
* @author group 5 |
* |
* @version $Revision: 1.85 $ Last modification: $Date: 2003/07/26 10:49:54 $ |
* @version $Revision: 1.86 $ Last modification: $Date: 2003/07/26 15:35:37 $ |
*/ |
public class GUI |
extends JFrame implements GuiInterface,WindowListener { |
325,6 → 325,8 |
autoValidate = new JCheckBoxMenuItem("Auto validation", true); |
/* Help text for auto validation feature. */ |
autoValidate.setToolTipText("select to enable auto validation"); |
/* Register auto validation button events with docManager. */ |
autoValidate.addActionListener(docManager); |
documentMenu.add(autoValidate); |
|
documentMenu.addSeparator(); |