home *** CD-ROM | disk | FTP | other *** search
- import javax.swing.tree.DefaultMutableTreeNode;
- import javax.swing.tree.DefaultTreeModel;
- import org.w3c.dom.Node;
-
- public class ElemClipboard {
- Node theNode;
- XMLPro theApp;
-
- ElemClipboard(XMLPro var1, ElemNode var2) {
- this.theApp = var1;
- this.theNode = var2.e.cloneNode(true);
- }
-
- void pasteNodeInto(ElemNode var1) {
- if (var1.e.getNodeType() == 1) {
- Node var2 = this.theNode.cloneNode(true);
- var1.e.appendChild(var2);
- ElemNode var3 = new ElemNode(var2);
- ((DefaultMutableTreeNode)var1).add(var3);
- this.theApp.elems.addElements(var3, var2);
- ((DefaultTreeModel)this.theApp.elems.theTree.getModel()).nodeStructureChanged(var1);
- this.theApp.elems.selectNode(var3);
- }
- }
- }
-