Method execute

basex-core/src/main/java/org/basex/gui/view/ViewMover.java:36–37

()

    new BaseXPopup(this, new GUIPopupCmd(Text.CLOSE) {
      @Override
      public void execute() { ((ViewPanel) getParent()).delete(); }
    });
  }