Method replace

basex-core/src/main/java/org/basex/gui/text/TextPanel.java:393–407

Replaces the text. @param rc replace context

(final ReplaceContext rc)

   * @param rc replace context
   */
  final void replace(final ReplaceContext rc) {
    try {
      final int[] select = rend.replace(rc);
      if(rc.text != null) {
        final boolean sel = editor.isSelected();
        setText(rc.text);
        editor.select(select[0], select[sel ? 1 : 0]);
        release(Action.CHECK);
      }
      gui.status.setText(Text.STRINGS_REPLACED, true);
    } catch(final Exception ex) {
      final String msg = Util.message(ex).replaceAll(Prop.NL + ".*", "");
      gui.status.setText(Text.REGULAR_EXPR + Text.COLS + msg, false);
    }
  }

  /**
   * Jumps to the current, next or previous search string.