Thanks for your post @TechnicalSupport
your work around is very helpful!...and it does work with increasing the font size!... that's great.
There is a problem, however, that now the top ribbon/bar takes up a fifth of the screen real estate (please see screenshot)... is there a way to decrease/set the icon size?
(EDIT: yes, there seems to be an option under Tools->Options->Interfrace that controls the size of icons, i had it set to large, which is now not needed!)
Either way, this is a really great development and a game changer for me.. i basically stopped using maple on my laptop unless necessary... (next to impossible to select files for example, without some extranal "zoom-in" software).
It would be great if one could provide some option to xmaple that would make this a simpler process.. i.e something like
xmaple --zoom 2.0
which would pick fonts close to 2.0x of the default defaults (or whatever equivalent, say xmaple --fontsize 36, etc... )...
(at the moment one can't set JVM_OPTIONS externally it seems, because the maple script doesn't check if those are already set and instead overwrites... so one really has to dig into modifying the maple script as you suggested.)
Anyway, thanks again for your update - very useful stuff.