Java GUIConstants.finish示例

示例#1

文件： TextPanel.java 项目： dimitarp/basex

 @Override
 public void execute() {
   final int pos = editor.pos();
   if (!copy()) return;
   editor.delete();
   finish(pos);
 }

示例#2

文件： TextPanel.java 项目： dimitarp/basex

 @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);
 }

示例#3

文件： TextPanel.java 项目： dimitarp/basex

 @Override
 public void execute() {
   final int pos = editor.pos();
   editor.delete();
   finish(pos);
 }