| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.72 $ |
| * @version $Revision: 1.73 $ |
| * |
| * Last modification: $Date: 2003/07/18 14:07:02 $ |
| * $Id: GUI.java,v 1.72 2003/07/18 14:07:02 cstollen Exp $ |
| * Last modification: $Date: 2003/07/18 17:00:41 $ |
| * $Id: GUI.java,v 1.73 2003/07/18 17:00:41 smcsporr Exp $ |
| */ |
| |
| package src.gui; |
| 47,7 → 47,7 |
|---|
| /** |
| * @author group 5 |
| * |
| * @version $Revision: 1.72 $ Last modification: $Date: 2003/07/18 14:07:02 $ |
| * @version $Revision: 1.73 $ Last modification: $Date: 2003/07/18 17:00:41 $ |
| */ |
| public class GUI |
| extends JFrame implements GuiInterface,WindowListener { |
| 64,6 → 64,7 |
|---|
| /* Menu buttons for save options. */ |
| private JMenuItem save; |
| private JMenuItem saveAs; |
| private JMenuItem saveAll; |
| |
| /* Menu buttons for validation and grammar setting functions. */ |
| private JMenuItem validate; |
| 72,6 → 73,7 |
|---|
| |
| private JMenuItem neweeDoc; |
| private JMenuItem closeActDoc; |
| private JMenuItem closeAll; |
| |
| /* attributes for logging and status */ |
| private LogPanel logPanel = new LogPanel(); |
| 219,6 → 221,15 |
|---|
| saveAs.addActionListener(docManager); |
| file.add(saveAs); |
| |
| saveAll = new JMenuItem("Save all documents"); |
| /* Help text for Save all.. function*/ |
| saveAll.setToolTipText("click to save all opened Documents"); |
| /*Shortkey for save all .. function*/ |
| saveAll.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_A, Event.CTRL_MASK)); |
| /* Register save all Documents button events with docManager. */ |
| saveAll.addActionListener(docManager); |
| file.add(saveAll); |
| |
| file.addSeparator(); |
| |
| exit = new JMenuItem("Exit"); |
| 280,6 → 291,15 |
|---|
| setNewSchema.addActionListener(docManager); |
| document.add(setNewSchema); |
| |
| document.addSeparator(); |
| |
| closeAll = new JMenuItem("Close all opened Documents"); |
| /* Help text for close document. */ |
| closeAll.setToolTipText("click to Close all opened Documents"); |
| /* Register close all active documents button events with docManager. */ |
| closeAll.addActionListener(docManager); |
| document.add(closeAll); |
| |
| closeActDoc = new JMenuItem("Close active document"); |
| /* Help text for close document. */ |
| closeActDoc.setToolTipText("click to close the active document"); |