Fixes #4192: Editors search window.
[redakcja.git] / src / redakcja / static / js / lib / codemirror-5.49.0 / searchcursor.js
2019-10-12 Radek CzajkaYou will find only what you bring in.