changelog:
- Issue #751: Fixed various sidebar and HTML preview size issues.
- Issue #762: Fixed typo in Brazilian Portuguese translation.
- Fixed editor margins on resize and on sidebar hide/show.
- Updated Russian translation.
- Changed selection color for Plainstraction Dark theme to be brighter.
- Added workaround for segmentation fault on GTK/Gnome 42 at startup.
ok rsadowski@
4f99b40eac