Version 5.5 is out

Brings:
- Rework of the preferences to prevent user related race conditions from corrupting the preferences
- Updated ace.js library improving general editing experience
- Various bugfixes
4
2
Add a comment...