Change font size in the Project Hierarchy

Hello:

How can I modify the size of the font in the Xojo IDE hierarchy list (on the left)?

On the Settings / Preferences window, under General, the last checkbox says “Use large font in Navigator, Library and Inspector” will toggle a larger size.

Thanks. I was looking for a font drop-down like the one offered in the coding settings.