From: Swift
Griggs
it's (currently) a big hassle in Windows to
get absolutely every font
to get bigger at once.
Have you tried right-click on a blank spot on the desktop, 'Properties',
'Setting', 'Advanced'? The window that pops up allows you to change i)
on
older Windows, _all_ font sizes (options are 100%, 125%, and custom) at once;
ii) on newer Windows, the size of _everything_ (which includes images, I
think).
800x600 still works most of the time, but ever so often I need to use a
pop-up
window that that don't fit the screen. That is a pain.