Where does the font in PTBatcherGUI's Verbose Output window come from?
Running Debian Linux with the XFCE desktop environment, on a 4K display
set to 192dpi for font dpi.
David W. Jones
wandering the landscape of god
My password is the last 8 digits of π.