NodeRange r = curRange();
clipboard.copy(r.render.getTree(), r.node);
}
public void nodePaste() {
final NodeRange r = curRange();
setMessage("Pasting tree...");
new Thread() {
public void run() {
synchronized (r.render.getTree()) {
clipboard.paste(r.render.getTree(), r.node);