reset workbench?
Understood. I suspect that I'll also have to find not just a different
font size but a different font. And its desire to reset everything each
time you make an adjustment seems to need a reboot to really work, so
these changes are a pain in the but. Thanks,
Ron