Ah, I wasn't aware there are public updates under the same version number. I tried build 13202 now with ui.fonts.useDefaultAsInfo set to true, and it appears to work fine. Thanks again.

Thanks! Is there a projected release date for the next version?

I use Windows with the standard 100% setting (96 DPI) on a 1920x1200 desktop monitor. Setting DPI higher wouldn't make sense because I'm fine with other applications and would lose significant screen real-estate. Moreover, some of the other applications I use are not fully compatible with higher DPI settings.

I'm fine with the standard font size in the SmartGit UI, but the smaller sizes are giving me trouble and make me squint. There are enough occurrences of smaller text in the UI that it is uncomfortable to use overall.