45.4 - January 5, 2024
======================

- Fix earmark warnings displayed when warnings are disabled (#91)
- Add dark theme support (!58, Johan G.)
- Fix several bugs related to highlighter (!59, Johan G.)
- Fix window state not saved when closing game (!60, !62, Johan G.)
- Fix user help not opening properly