Summary
Search and replace text within the editor.
Requirements
UI/UX
- Floating panel at top-right of editor
- Highlight all matches in document
- Current match highlighted differently
- Close with Escape key
Technical Notes
- Use CodeMirror's built-in search addon
codemirror/addon/search/search.js
codemirror/addon/search/searchcursor.js
Acceptance Criteria
Summary
Search and replace text within the editor.
Requirements
UI/UX
Technical Notes
codemirror/addon/search/search.jscodemirror/addon/search/searchcursor.jsAcceptance Criteria