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