Method search

basex-core/src/main/java/org/basex/gui/text/SearchBar.java:267–272

Searches text in the current editor.

()

   * Searches text in the current editor.
   */
  private void search() {
    final boolean sel = regex.isSelected();
    multi.setEnabled(sel);
    word.setEnabled(!sel);
    search(true);
  }

  /**
   * Refreshes the panel after a successful search operation.