Method prev

basex-core/src/main/java/org/basex/gui/text/TextEditor.java:365–369

Moves one character back and returns the found character. A newline character is returned if the cursor is placed at the beginning of the text. @return previous character, or newline

()

   * @return previous character, or newline
   */
  private int prev() {
    if(pos == 0) return '\n';
    while(--pos > 0 && text[pos] < -64);
    return curr();
  }

  /**
   * Moves to the specified position or the end of the line.