4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.83 $ |
* @version $Revision: 1.84 $ |
* |
* Last modification: $Date: 2003/07/25 11:48:51 $ |
* $Id: GUI.java,v 1.83 2003/07/25 11:48:51 hjokusch Exp $ |
* Last modification: $Date: 2003/07/25 13:50:56 $ |
* $Id: GUI.java,v 1.84 2003/07/25 13:50:56 hjokusch Exp $ |
*/ |
|
package src.gui; |
50,7 → 50,7 |
* |
* @author group 5 |
* |
* @version $Revision: 1.83 $ Last modification: $Date: 2003/07/25 11:48:51 $ |
* @version $Revision: 1.84 $ Last modification: $Date: 2003/07/25 13:50:56 $ |
*/ |
public class GUI |
extends JFrame implements GuiInterface,WindowListener { |
61,16 → 61,16 |
private JMenu pluginMenu; |
private JMenu pluginConfigurationMenu; |
|
/* Menu Buttons for exit and open XML File */ |
/** Menu Buttons for exit and open XML File */ |
private JMenuItem exit; |
private JMenuItem open; |
|
/* Menu buttons for save options. */ |
/** Menu buttons for save options. */ |
private JMenuItem save; |
private JMenuItem saveAs; |
private JMenuItem saveAll; |
|
/* Menu buttons for validation and grammar setting functions. */ |
/** Menu buttons for validation and grammar setting functions. */ |
private JMenuItem validate; |
private JMenuItem setNewDTD; |
private JMenuItem setNewSchema; |
77,18 → 77,18 |
private JMenuItem removeDTD; |
private JMenuItem removeSchema; |
|
/* Menu buttons for creating and closing documents. */ |
/** Menu buttons for creating and closing documents. */ |
private JMenuItem neweeDoc; |
private JMenuItem closeActDoc; |
private JMenuItem closeAll; |
|
/* Menu buttons for the configuration of the plugins. */ |
/** Menu buttons for the configuration of the plugins. */ |
private JMenuItem resetConfiguration; |
private JMenuItem changeDefaultPlugin; |
private JMenuItem switchToAndFroDefaultPlugin; |
private JMenuItem showActualConfiguration; |
|
/* Instance variables for the log and status panel. */ |
/** Instance variables for the log and status panel. */ |
private LogPanel logPanel = new LogPanel(); |
private StatusPanel statusPanel = new StatusPanel(); |
|
109,7 → 109,7 |
/* A tabbed pane used to change between the different open documents. */ |
private JTabbedPane pluginTabbedPanel = new JTabbedPane(); |
|
/* The required event listeners. */ |
/** The required event listeners. */ |
private ActionListener otherGUIListener; |
private ActionListener validatorListener; |
private ActionListener docManager; |
120,14 → 120,12 |
/* A reference variable to the document manager. */ |
private DocumentManagerInterface docMaster; |
|
|
/** |
* The GUI constructor creates |
* the menu bar, an <code>ActionListener</code> and a <code>WindowListener</code> |
* and produces a frame to draw on. |
*/ |
public GUI() |
{ |
public GUI() { |
// make menu |
|
getContentPane().setLayout(new BorderLayout()); |
342,15 → 340,15 |
|
documentMenu.addSeparator(); |
|
removeDTD = new JMenuItem("remove DTD"); |
removeDTD = new JMenuItem("Remove DTD"); |
/* Help text for 'remove DTD' function. */ |
removeDTD.setToolTipText("remove DTD from the selected document"); |
removeDTD.setToolTipText("click to remove DTD from the active document"); |
removeDTD.addActionListener(docManager); |
documentMenu.add(removeDTD); |
|
removeSchema = new JMenuItem("remove XML Schema"); |
removeSchema = new JMenuItem("Remove XML schema"); |
/* Help text for 'remove XML Schema' function. */ |
removeSchema.setToolTipText("remove XML Schema from the selected document"); |
removeSchema.setToolTipText("click to remove XML schema from the active document"); |
removeSchema.addActionListener(docManager); |
documentMenu.add(removeSchema); |
|
692,21 → 690,25 |
} |
|
/** |
* Returns the current object representing a log panel implementation |
* compliant to src.gui.LogInterface. |
* |
* Returns the current log panel implementation. |
* |
* An implementation of a log panel must conform to src.gui.LogInterface |
* to be used. |
* |
* @return An implementation of a log panel. |
* |
* @see src.gui.LogInterface |
*/ |
public LogInterface getLogInterface() { |
public LogInterface getLogPanelImpl() { |
return logPanel; |
} |
|
/** |
* Returns the current object representing a status panel implementation |
* compliant to src.gui.StatusInterface. |
* Returns the current status panel implementation. |
* |
* An implementation of a status panel must conform to src.gui.StatusInterface |
* to be used. |
* |
* @return An implementation of a status panel. |
* |
* @see src.gui.StatusInterface |
715,10 → 717,11 |
return statusPanel; |
} |
|
/** |
* Returns the name of file currently opened. |
/** |
* <code>getCurrentFile</code> retrieves the path and name of the file the document |
* has been parsed from. |
* |
* @return The current file. |
* @return The file's path and name from which the active document has been parsed. |
*/ |
public File getCurrentFile() { |
return docMaster.getActualDocumentFile(); |