Method pos

basex-core/src/main/java/org/basex/gui/text/TextEditor.java:1133–1135

Returns the caret position. @return caret position

()

   * @return caret position
   */
  int pos() {
    return pos;
  }

  /**
   * Sets the caret position and resets a selection.