Release 3.2.1
- Fixed incorrect return type of
EditHistory.has
(fe7de05) - Line breaks in Python strings can now be escaped using
\
. Fixes PrismJS/prism#3779 (9d297f5) - Allowed some arrow operators in TypeScript generics (703b1ce)
Search widget improvements
- Fixed issue replacing adjacent matches there the previous match was selected instead (05a941d)
- Fixed selection matches being highlighted after replacing using the keyboard shortcuts (05a941d)
- Fixed issue where replacing empty matches with an empty string would delete a character (05a941d)
- Fixed the textarea stealing focus from the find input in Safari (7645cee)
- When the replace button selected the closest match, it was scrolled into view without scroll padding. Scroll padding is now used (05a941d)
Note: ReplaceAPI.replace
no longer selects the closest match and only returns its index. Call ReplaceAPI.selectMatch
afterwards if an index was returned instead.