Java GUI.dispose Examples

Example #1

File: GUICommands.java Project: JosuaKrause/basex

 @Override
 public void execute(final GUI gui) {
   gui.dispose();
 }