Method refresh

basex-core/src/main/java/org/basex/gui/text/SearchBar.java:279–285

Refreshes the panel after a successful search operation. @param sc search context @param jump jump to next search result

(final SearchContext sc, final boolean jump)

   * @param jump jump to next search result
   */
  void refresh(final SearchContext sc, final boolean jump) {
    final boolean hits = sc.nr != 0, empty = sc.string.isEmpty();
    rplc.setEnabled(hits && !empty);
    find.highlight(hits || empty);
    if(isVisible()) gui.status.setText(Util.info(Text.STRINGS_FOUND_X, sc.nr()), true);
    if(jump) editor.jump(SearchDir.CURRENT, false);
  }

  // PRIVATE METHODS ==============================================================================