Search feature for the editor

[lepinay]

No description provided.

[evancz]

What does this do exactly, I can't tell from the description and code alone.

[lepinay]

It just enables the Ctrl+F search box of code mirror instead of the browser's.
Code mirror search box is a bit more advanced than the browser's one:

• regex search
• search and replace

So it is nice to have for small code refactoring.

[evancz]

This seems nice, but I think I want to keep the online editor dumber than this. I feel like once this is added, people will want to know "how can I get instructions on how to use it well?" And if it's not there at all, no one would expect in in particular. People will maybe feel like "I guess it's time to start using Sublime Text" or whatever.