Java Context.copied Examples

Example #1

File: GUICommands.java Project: JosuaKrause/basex

 @Override
 public void execute(final GUI gui) {
   final Context ctx = gui.context;
   final Nodes n = ctx.marked;
   ctx.copied = new Nodes(n.pres, n.data);
 }