sclass RSyntaxTextAreaWithSearch is SearchListener, Swingable {

  JPanel panel;

  gettable volatile RSyntaxTextArea textArea;

  CollapsibleSectionPanel csp;

  FindDialog findDialog;

  ReplaceDialog replaceDialog;

  FindToolBar findToolBar;

  ReplaceToolBar replaceToolBar;

  StatusBar statusBar;

  *() { init(); }

  *(IF1<JComponent> *wrapStatusLabel) { init(); }

  *(S text) { init(); setText(text); }

  *(RSyntaxTextArea *textArea) { init(); }

  visual panel;

  void init() swing {

    rsyntaxTextArea_fixNumPad();

    initSearchDialogs();

    panel = new JPanel(new BorderLayout);

    csp = new CollapsibleSectionPanel;

    panel.add(csp);

    textArea if null = javaxSyntaxTextArea();

    RTextScrollPane sp = new RTextScrollPane(textArea);

    csp.add(sp);

    ErrorStrip errorStrip = new(textArea);

    panel.add(errorStrip, BorderLayout.LINE_END);

    statusBar = new StatusBar;

    panel.add(statusBar, BorderLayout.SOUTH);

  }

  swappable JComponent wrapStatusLabel(JComponent label) { ret label; }

  void addItem(Action a, ButtonGroup bg, JMenu menu) {

    JRadioButtonMenuItem item = new JRadioButtonMenuItem(a);

    bg.add(item);

    menu.add(item);

  }

  // register keystrokes if we don't have a menu bar

  void menuLessOperation swing {

    //print("menuLessOperation");

    var mb = createMenuBar();

    for (menu : getMenus(mb))

      for (menuItem : getMenuItems(menu)) {

        var ks = menuItem.getAccelerator();

        //printVars(+ks, +menuItem);

        if (ks != null) {

          var action = menuItem.getAction();

          //print("Registering keystroke: " + ks + " => " + action);

          textArea.getInputMap().put(ks, action);

        }

      }

  }

  JMenuBar createMenuBar() {

    JMenuBar mb = new JMenuBar();

    JMenu menu = new JMenu("Search");

    menu.add(new JMenuItem(new ShowFindDialogAction()));

    menu.add(new JMenuItem(new ShowReplaceDialogAction()));

    menu.add(new JMenuItem(new GoToLineAction()));

    menu.addSeparator();

    int ctrl = getToolkit().getMenuShortcutKeyMask();

    int shift = InputEvent.SHIFT_MASK;

    KeyStroke ks = KeyStroke.getKeyStroke(KeyEvent.VK_F, ctrl|shift);

    Action a = csp.addBottomComponent(ks, findToolBar);

    a.putValue(Action.NAME, "Show Find Search Bar");

    menu.add(new JMenuItem(a));

    ks = KeyStroke.getKeyStroke(KeyEvent.VK_H, ctrl|shift);

    a = csp.addBottomComponent(ks, replaceToolBar);

    a.putValue(Action.NAME, "Show Replace Search Bar");

    menu.add(new JMenuItem(a));

    mb.add(menu);

    ret mb;

  }

  public String getSelectedText() {

    return textArea.getSelectedText();

  }

  /**

   * Creates our Find and Replace dialogs.

   */

  public void initSearchDialogs() {

    findDialog = new FindDialog((java.awt.Dialog) null, this);

    replaceDialog = new ReplaceDialog((java.awt.Dialog) null, this);

    // This ties the properties of the two dialogs together (match case,

    // regex, etc.).

    SearchContext context = findDialog.getSearchContext();

    replaceDialog.setSearchContext(context);

    // Create tool bars and tie their search contexts together also.

    findToolBar = new FindToolBar(this);

    findToolBar.setSearchContext(context);

    replaceToolBar = new ReplaceToolBar(this);

    replaceToolBar.setSearchContext(context);

  }

  /**

   * Listens for events from our search dialogs and actually does the dirty

   * work.

   */

  @Override

  public void searchEvent(SearchEvent e) {

    SearchEvent.Type type = e.getType();

    SearchContext context = e.getSearchContext();

    SearchResult result = null;

    switch (type) {

      default: // Prevent FindBugs warning later

      case MARK_ALL:

        result = SearchEngine.markAll(textArea, context);

        break;

       case FIND:

            result = SearchEngine.find(textArea, context);

            if (!result.wasFound())

            {

                //Try to wrap the result...

                Caret c = textArea.getCaret();

                int pos = c.getDot();

                if (context.getSearchForward())

                {

                    c.setDot(0);

                }

                else

                {

                    c.setDot(textArea.getDocument().getLength());

                }

                result = SearchEngine.find(textArea, context);

                if (!result.wasFound())

                {

                    c.setDot(pos);

                    UIManager.getLookAndFeel().provideErrorFeedback(textArea);

                }

            }

            break;

      case REPLACE:

        result = SearchEngine.replace(textArea, context);

        if (!result.wasFound()) {

          UIManager.getLookAndFeel().provideErrorFeedback(textArea);

        }

        break;

      case REPLACE_ALL:

        result = SearchEngine.replaceAll(textArea, context);

        JOptionPane.showMessageDialog(null, result.getCount() +

            " occurrences replaced.");

        break;

    }

    String text = null;

    if (result.wasFound()) {

      text = "Text found; occurrences marked: " + result.getMarkedCount();

    }

    else if (type==SearchEvent.Type.MARK_ALL) {

      if (result.getMarkedCount()>0) {

        text = "Occurrences marked: " + result.getMarkedCount();

      }

      else {

        text = "";

      }

    }

    else {

      text = "Text not found";

    }

    setStatus(text);

  }

  class GoToLineAction extends AbstractAction {

    *() {

      super("Go To Line...");

      int c = getToolkit().getMenuShortcutKeyMask();

      putValue(ACCELERATOR_KEY, KeyStroke.getKeyStroke(KeyEvent.VK_L, c));

    }

    public void actionPerformed(ActionEvent e) {

      findDialog.setVisible(false);

      replaceDialog.setVisible(false);

      GoToDialog dialog = new GoToDialog((java.awt.Dialog) null);

      dialog.setMaxLineNumberAllowed(textArea.getLineCount());

      showDialogOnSameScreen(dialog, panel);

      int line = dialog.getLineNumber();

      if (line>0) {

        try {

          textArea.setCaretPosition(textArea.getLineStartOffset(line-1));

        } catch (BadLocationException ble) { // Never happens

          UIManager.getLookAndFeel().provideErrorFeedback(textArea);

          ble.printStackTrace();

        }

      }

    }

  }

  class ShowFindDialogAction extends AbstractAction {

    *() {

      super("Find...");

      int c = getToolkit().getMenuShortcutKeyMask();

      putValue(ACCELERATOR_KEY, KeyStroke.getKeyStroke(KeyEvent.VK_F, c));

    }

    public void actionPerformed(ActionEvent e) {

      replaceDialog.setVisible(false);

      showDialogOnSameScreen(findDialog, panel);

    }

  }

  class ShowReplaceDialogAction extends AbstractAction {

    *() {

      super("Replace...");

      int c = getToolkit().getMenuShortcutKeyMask();

      putValue(ACCELERATOR_KEY, KeyStroke.getKeyStroke(KeyEvent.VK_H, c));

    }

    public void actionPerformed(ActionEvent e) {

      findDialog.setVisible(false);

      showDialogOnSameScreen(replaceDialog, panel);

    }

  }

  class StatusBar extends JPanel {

    JLabel label;

    *() {

      label = new JLabel(" ");

      setLayout(new BorderLayout());

      add(wrapStatusLabel(label), BorderLayout.CENTER);

      add(new JLabel(new SizeGripIcon()), BorderLayout.EAST);

    }

    public void setText(String label) {

      main setText(this.label, shorten(1000, label));

    }

  }

  void setStatus(S text) {

    statusBar.setText(text);

  }

  void setText(S text) {

    main setText(textArea, text);

  }

  S getText() {

    ret main getText(textArea);

  }

  void setEditorFont(final Font font) swing {

    SyntaxScheme ss = textArea.getSyntaxScheme();

    ss = (SyntaxScheme) ss.clone();

    for (int i = 0; i < ss.getStyleCount(); i++)

      if (ss.getStyle(i) != null)

        ss.getStyle(i).font = font;

     textArea.setSyntaxScheme(ss);

     textArea.setFont(font);

  }

  Font getEditorFont() {

    ret swing(func -> Font { textArea.getFont() });

  }

  int getEditorFontSize() {

    ret getEditorFont().getSize();

  }

  void setEditorFontSize(int size) {

    setEditorFont(deriveFont(getEditorFont(), size));

  }

  RSyntaxDocument getDocument() {

    ret (RSyntaxDocument) textArea.getDocument();

  }

  Toolkit getToolkit() { ret panel.getToolkit(); }

  JLabel statusLabel() { ret statusBar.label; }

}