Home / How to change bookmarks font size?

I have seen earlier posts on this topic, with discouraging replies that it is not possible. However the font chnaged between 3.1 and 3.2 - on my 4K monitor the Bookmarks text is almost unreadable because it is so small, whereas it is perfectly acceptable with 3.1. Does anyone know why this is, and if it is possible to restore the 3.1 setting in 3.2?

It is a DPI problem that was addressed after 3.2 so the pre-release allows you to set size in settings, beter yet use current daily

The font size for bookmarks can now be set using for example
TreeFontSize = 15

Thank you - that worked a treat! I’ve set TreeFontSize = 20, and it is just what I wanted. Thank you again.