Closed duner closed 9 years ago
I modified the default codemirror search.js so that all find operations are "persistent finds" — which means that the search dialog doesn't autoclose and you can use enter to find the next match. (shift-enter to find previous)
Resolves #50.
I modified the default codemirror search.js so that all find operations are "persistent finds" — which means that the search dialog doesn't autoclose and you can use enter to find the next match. (shift-enter to find previous)