Unlike the editor window, the ‘Documents’ docket uses the system font that’s also used for the menus, which is not obviously configurable from preferences, as there’s only one font item there to tweak.
Is there a way to change the font used in the ‘Documents’ docklet, without changing my OS-wide system font, that is? I’d be ok as a compromise if the menu font changes as well, but just in ScIDE.