Method finish

basex-core/src/main/java/org/basex/gui/text/TextPanel.java:752–756

Finishes a command. @param old old cursor position; store entry to history if position != -1

(final int old)

   * @param old old cursor position; store entry to history if position != -1
   */
  private void finish(final int old) {
    if(old != -1) hist.store(editor.text(), old, editor.pos());
    computeHeight.invokeLater(true);
    release(Action.CHECK);
  }

  /**
   * Stops an old text cursor thread and, if requested, starts a new one.