| /sun/xmleditor/trunk/src/gui/PopUpJTree.java |
|---|
| 4,10 → 4,10 |
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.25 $ |
| * @version $Revision: 1.26 $ |
| * |
| * Last modification: $Date: 2003/07/26 15:02:42 $ |
| * $Id: PopUpJTree.java,v 1.25 2003/07/26 15:02:42 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/28 11:14:28 $ |
| * $Id: PopUpJTree.java,v 1.26 2003/07/28 11:14:28 smcsporr Exp $ |
| */ |
| package src.gui; |
| 25,16 → 25,16 |
| import javax.swing.event.TreeSelectionListener; |
| /** |
| /** |
| * This class extends a <code>JTree</code>, which is used to display an XML file's |
| * data hierarchy, with a <code>JPopUpMenu</code>. |
| * The popup menu will appear, if the right mouse button will be clicked while |
| * holding the mouse cursor over the tree display area. Currently, functions are provided |
| * to insert and delete a tree element and to cut, copy and paste selected elements. |
| * |
| * |
| * @author Group 5 |
| * |
| * @version $Revision: 1.25 $ Last modification: $Date: 2003/07/26 15:02:42 $ |
| * |
| * @version $Revision: 1.26 $ Last modification: $Date: 2003/07/28 11:14:28 $ |
| */ |
| class PopUpJTree extends JTree implements ActionListener { |
| 69,7 → 69,7 |
| * author Matthias Donner |
| */ |
| public PopUpJTree (src.parser.AdapterDomToTreeModel model) { |
| super(model); |
| super(model); |
| m=model; |
| // define the popup |
| /sun/xmleditor/trunk/src/gui/UpdateView.java |
|---|
| 4,10 → 4,10 |
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.57 $ |
| * @version $Revision: 1.56 $ |
| * |
| * Last modification: $Date: 2003/07/28 13:20:45 $ |
| * $Id: UpdateView.java,v 1.57 2003/07/28 13:20:45 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/26 13:05:25 $ |
| * $Id: UpdateView.java,v 1.56 2003/07/26 13:05:25 smcsporr Exp $ |
| */ |
| package src.gui; |
| 47,7 → 47,7 |
| * |
| * @author Christian Stollenwerk |
| * |
| * @version $Revision: 1.57 $ Last modification: $Date: 2003/07/28 13:20:45 $ |
| * @version $Revision: 1.56 $ Last modification: $Date: 2003/07/26 13:05:25 $ |
| */ |
| public class UpdateView implements ActionListener, UpdateViewInterface, |
| OurEventListener, TreeModelListener, TreeExpansionListener, TreeSelectionListener { |
| 397,9 → 397,6 |
| */ |
| private void validate() { |
| /* Update the document with the content of the plugin */ |
| pluginManagerInterface.forcePluginReport(); |
| /* Check, if a grammar has been specified. */ |
| if ((documentManagerInterface.getActualDocument().getDocumentElement().hasAttribute("xsi:schemaLocation")) || |
| (documentManagerInterface.getActualDocument().getDoctype() != null)) { |