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