Is there a programmatic way to change the sizes of the fonts used in DEVONthink 3? A recent change of computing arrangements has me switching between external monitors and a laptop screen more often than in the past, and the difference in screen sizes is so large that I have to adjust the user interface settings in the preferences,
every time I change between the setups. It would be handy to be able to write a script that changes the values.
If it doesn’t exist yet, could I request this for a future update? (Or, since DEVONthink already has the concept of workspaces, maybe those could be extended to change font settings too.)