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?
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.