jwulf/deathstar-editor — pull request #1 by houseofzeus (2012-09-30 17:17:18+00:00)
Title: Added basic codemirror search and replace.

Added codemirror search and replace functionality. Currently accessible only via keybindings:

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
Replace
Shift-Ctrl-R / Shift-Cmd-Option-F
Replace all

Undo also continues to be available under Ctrl-Z. Need to provide more discoverable way to access these in future, possibly in a dropdown similar to the one used for 'Insert Docbook'. An alternative would be dropping in codemirror-ui over the top of codemirror.