jbdoderlein / BetterOCaml

A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it works offline!), compiled with js_of_ocaml.
https://perso.eleves.ens-rennes.fr/people/jean-baptiste.doderlein/betterocaml
Apache License 2.0
37 stars 8 forks source link

Add a search and replace option for the editor #43

Closed Butanium closed 3 years ago

Butanium commented 3 years ago

I'd like something like CTRL + R to search for some strings in my code and being able to replace them. Maybe include some regex support if it's not too much work (not a must have but definitly a good thing to have when you need it).

Thanks for maintening this IDE,

Clement

jbdoderlein commented 3 years ago

Done in this commit (regex included 👍 )

Naereen commented 3 years ago

Well done!