4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.73 $ |
* @version $Revision: 1.74 $ |
* |
* Last modification: $Date: 2003/07/18 17:00:41 $ |
* $Id: GUI.java,v 1.73 2003/07/18 17:00:41 smcsporr Exp $ |
* Last modification: $Date: 2003/07/18 20:19:07 $ |
* $Id: GUI.java,v 1.74 2003/07/18 20:19:07 hjokusch Exp $ |
*/ |
|
package src.gui; |
47,7 → 47,7 |
/** |
* @author group 5 |
* |
* @version $Revision: 1.73 $ Last modification: $Date: 2003/07/18 17:00:41 $ |
* @version $Revision: 1.74 $ Last modification: $Date: 2003/07/18 20:19:07 $ |
*/ |
public class GUI |
extends JFrame implements GuiInterface,WindowListener { |
293,9 → 293,9 |
|
document.addSeparator(); |
|
closeAll = new JMenuItem("Close all opened Documents"); |
closeAll = new JMenuItem("Close all opened documents"); |
/* Help text for close document. */ |
closeAll.setToolTipText("click to Close all opened Documents"); |
closeAll.setToolTipText("click to close all opened documents"); |
/* Register close all active documents button events with docManager. */ |
closeAll.addActionListener(docManager); |
document.add(closeAll); |