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