CodeMirror: Search/Replace Demo

Demonstration of primitive search/replace functionality. The keybindings (which can be overridden by custom keymaps) are:

Ctrl-F / Cmd-F
Start searching
Ctrl-G / Cmd-G
Find next
Shift-Ctrl-G / Shift-Cmd-G
Find previous
Shift-Ctrl-F / Cmd-Option-F
Shift-Ctrl-R / Shift-Cmd-Option-F
Replace all

Searching is enabled by including lib/util/search.js. For good-looking input dialogs, you also want to include lib/util/dialog.js and lib/util/dialog.css.