Open jamy015 opened 7 years ago
CodeMirror actually has an add-on for this: https://codemirror.net/doc/manual.html#addon_search
It uses an overlay that can be hidden when not in use, so it's actually pretty UI-friendly. This came up in a Data Science workshop today, where several teachers had written some analysis for a particular column, and realized that they wanted to call it something else -- this is a classing find-and-replace task, and automating it would have been really handy
Search and replace functionality on code.pyret.org would be really great.