Method search

basex-core/src/main/java/org/basex/gui/text/TextPanel.java:385–387

Performs a search. @param sc search context @param jump jump to next hit

(final SearchContext sc, final boolean jump)

   * @param jump jump to next hit
   */
  final void search(final SearchContext sc, final boolean jump) {
    rend.search(sc, jump);
  }

  /**
   * Replaces the text.