Page History
3.3.4
October 18, 2021
- Fixed bug where Find would not highlight a word if it was the last word in the document
- Fixed bug where Undoing a record expansion would not update the margin to match the change
3.3.3
August 16, 2021
- Added support for #pre and #endpre directives
- Fixed crash that would sometimes occur when closing the Find dialog
...