Method sort

basex-core/src/main/java/org/basex/gui/text/TextPanel.java:319–327

Sorts text.

()

   * Sorts text.
   */
  public final void sort() {
    final int caret = editor.pos();
    final DialogSort ds = new DialogSort(gui);
    if(!ds.ok() || !editor.sort()) return;

    hist.store(editor.text(), caret, editor.pos());
    computeHeight.invokeLater(true);
    repaint();
  }

  /**
   * Formats the selected text.