version 22-June-2018 (v1.0.20180622)
·
46 commits
to master
since this release
- Improved support for high-DPI Linux displays.
- Minor Mac and Windows improvements.