Method jump

basex-core/src/main/java/org/basex/gui/text/TextPanel.java:414–416

Jumps to the current, next or previous search string. @param dir search direction @param select select hit

(final SearchDir dir, final boolean select)

   * @param select select hit
   */
  protected final void jump(final SearchDir dir, final boolean select) {
    SwingUtilities.invokeLater(() -> scroll(rend.jump(dir, select), 1));
  }

  // MOUSE INTERACTIONS ===========================================================================