Dev Build 3036 is out now, addressing a couple of regressions in 3035.
Also new in this build is High DPI support in Linux. To be consistent with GTK applications, this doesn’t make use of the X11 DPI settings, but instead uses the GTK Text Scaling Factor, which is configurable via the Gnome Tweak Tool.
On Windows, Direct Write is now automatically used in High DPI mode. This can be disabled using the “gdi” font option.
There is a known issue in this build when changing colour schemes, where the tabset won’t properly update until a restart. This will be fixed for the following build.