Skip to content

Version 3.13.5.0

Compare
Choose a tag to compare
@jonaskohl jonaskohl released this 19 Sep 21:11
· 15 commits to master since this release
  • More HiDPI improvements:
  • Checkboxes now properly invalidate
  • Border size of overlay now properly resizes
  • Tab height in main window now properly adjusts