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