コード例 #1
0
ファイル: GUICommands.java プロジェクト: JosuaKrause/basex 
 @Override
 public void execute(final GUI gui) {
   gui.dispose();
 }