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