Example #1
0
 @Override
 public void execute() {
   final int pos = editor.pos();
   if (!copy()) return;
   editor.delete();
   finish(pos);
 }
Example #2
0
 @Override
 public void execute() {
   if (!hist.active()) return;
   final byte[] t = hist.next();
   if (t == null) return;
   editor.text(t);
   editor.pos(hist.caret());
   finish(-1);
 }
Example #3
0
 @Override
 public void execute() {
   final int pos = editor.pos();
   editor.delete();
   finish(pos);
 }