Method del

basex-core/src/main/java/org/basex/gui/text/TextEditor.java:962–966

Deletes the current selection.

()

   * Deletes the current selection.
   */
  private void del() {
    final int s = Math.min(start, end), e = Math.max(start, end), ts = size();
    text(new ByteList(ts - e + s).add(text, 0, s).add(text, e, ts).finish());
    pos = s;
  }

  /**
   * Deletes lines.