Demonstration of primitive search/replace functionality. The keybindings (which can be overridden by custom keymaps) are:
Searching is enabled by including lib/util/search.js and lib/util/searchcursor.js. For good-looking input dialogs, you also want to include lib/util/dialog.js and lib/util/dialog.css.