| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.74 $ |
| * @version $Revision: 1.75 $ |
| * |
| * Last modification: $Date: 2003/07/18 20:19:07 $ |
| * $Id: GUI.java,v 1.74 2003/07/18 20:19:07 hjokusch Exp $ |
| * Last modification: $Date: 2003/07/19 12:53:12 $ |
| * $Id: GUI.java,v 1.75 2003/07/19 12:53:12 smcsporr Exp $ |
| */ |
| |
| package src.gui; |
| 43,11 → 43,13 |
|---|
| |
| import src.control.DocumentManagerInterface; |
| |
| // TODO JavaDoc class description |
| /** |
| * The class <code>GUI</code> produce the main Window, the menubar,a split-sdreen |
| * to divide the window in 3 peaces, and connect the MenuItems with the |
| * <code> ActionListener</code> |
| * @author group 5 |
| * |
| * @version $Revision: 1.74 $ Last modification: $Date: 2003/07/18 20:19:07 $ |
| * @version $Revision: 1.75 $ Last modification: $Date: 2003/07/19 12:53:12 $ |
| */ |
| public class GUI |
| extends JFrame implements GuiInterface,WindowListener { |
| 261,7 → 263,16 |
|---|
| } |
| |
| |
| // TODO JavaDoc-comments |
| /** |
| * <code>createDocumentMenu</code> creates the Document menu for document |
| * operations like 'validate' or 'set XML schema'. |
| * |
| * @return The <code>JMenu</code> object that represents the created menu. |
| * |
| * author Group 5 |
| * |
| * Last revision: 18-Jul-2003 |
| */ |
| private JMenu createDocumentMenu() { |
| |
| JMenu document = new JMenu("Document"); |
| 650,7 → 661,14 |
|---|
| return this; |
| } |
| |
| // TODO JavaDoc-comments |
| /** |
| * The methode <code> getTabbedPane </code> gives a reference to the |
| * TabbedPane of the GUI |
| * |
| * @see javax.swing.JTabbedPane |
| * |
| * @return a reference to the <code> JTabbedPane </code> of the gui |
| */ |
| public JTabbedPane getTabbedPane() { |
| |
| return pluginTabbedPanel; |