Hi John, Mark,
Here’s some brainstorming about how that could work for the user – concocted in complete ignorance of how hard or easy it would be to implement all that.
Basically, zooming the keyboard window would zoom the font accordingly, as Mark prefers.
To manage that, the following changes should be considered.
In the Settings, there could be a default relative font size, instead of a certain point size:
However, I’m not sure how that setting would/should interact with Apple’s "choose font" dialog that opens when you click on "Change…"
Can the point size selected there be ignored? Or automatically converted into a percentage that is then shown in the drop-down menu’s field?
In the keyboard window, there could be a live slider to increase or decrease the current relative point size.
What I mean with "live" is that moving it changes the displayed font size real-time, so one could (for example) move the slider down slowly until the complete XML coding is visible in the keys.
To the right of the F12 function key, there may just be space for a button that pops up a vertical slider when clicked, but maybe a horizontal slider is better?:
An alternative would be a drop-down menu, like this:
While I was at it, I also added a "Fit window" option to the Zoom menu.
In my way of working, that is usually more practical than the "Fit screen" option.
More accurate names would obviously be "Fit window width" and "Fit screen width", but I think the shorter names are better and clear enough.
At some point during my fiddling around, I realized that I had no idea what the "Cancel" button is for… Please enlighten me :-)