4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.82 $ |
* @version $Revision: 1.83 $ |
* |
* Last modification: $Date: 2003/07/24 22:18:05 $ |
* $Id: GUI.java,v 1.82 2003/07/24 22:18:05 ioklasse Exp $ |
* Last modification: $Date: 2003/07/25 11:48:51 $ |
* $Id: GUI.java,v 1.83 2003/07/25 11:48:51 hjokusch Exp $ |
*/ |
|
package src.gui; |
50,7 → 50,7 |
* |
* @author group 5 |
* |
* @version $Revision: 1.82 $ Last modification: $Date: 2003/07/24 22:18:05 $ |
* @version $Revision: 1.83 $ Last modification: $Date: 2003/07/25 11:48:51 $ |
*/ |
public class GUI |
extends JFrame implements GuiInterface,WindowListener { |
61,7 → 61,7 |
private JMenu pluginMenu; |
private JMenu pluginConfigurationMenu; |
|
/* Attributes for the menu. */ |
/* Menu Buttons for exit and open XML File */ |
private JMenuItem exit; |
private JMenuItem open; |
|
74,6 → 74,8 |
private JMenuItem validate; |
private JMenuItem setNewDTD; |
private JMenuItem setNewSchema; |
private JMenuItem removeDTD; |
private JMenuItem removeSchema; |
|
/* Menu buttons for creating and closing documents. */ |
private JMenuItem neweeDoc; |
320,6 → 322,8 |
validate.addActionListener(docManager); |
documentMenu.add(validate); |
|
documentMenu.addSeparator(); |
|
/* Menu item for changing a document's DTD. */ |
setNewDTD = new JMenuItem("Set DTD"); |
/* Help text for 'Set DTD' function. */ |
336,8 → 340,20 |
setNewSchema.addActionListener(docManager); |
documentMenu.add(setNewSchema); |
|
|
documentMenu.addSeparator(); |
|
removeDTD = new JMenuItem("remove DTD"); |
/* Help text for 'remove DTD' function. */ |
removeDTD.setToolTipText("remove DTD from the selected document"); |
removeDTD.addActionListener(docManager); |
documentMenu.add(removeDTD); |
|
removeSchema = new JMenuItem("remove XML Schema"); |
/* Help text for 'remove XML Schema' function. */ |
removeSchema.setToolTipText("remove XML Schema from the selected document"); |
removeSchema.addActionListener(docManager); |
documentMenu.add(removeSchema); |
|
return documentMenu; |
} |
|
423,7 → 439,6 |
myMenuBar.add(createViewMenu()); |
myMenuBar.add(createPluginConfigurationMenu()); |
myMenuBar.add(createPluginMenu()); |
myMenuBar.add(createTestMenu()); |
setJMenuBar(myMenuBar); |
show(); |
} |
460,15 → 475,6 |
|
} |
|
private JMenu createTestMenu() { |
JMenu testMenu = new JMenu("Test"); |
testMenu.add(createStatusPanelTestMenu()); |
testMenu.add(createLogPanelTestMenu()); |
testMenu.add(createImagePluginTestMenu()); |
|
return testMenu; |
} |
|
private JMenu createStatusPanelTestMenu() |
{ |
JMenu menu = new JMenu("Status Panel"); |