Re: wxWidgets terminal : XPM cursors and icons

[Petr M. <mi...@ph...>]

> Let's discuss on a practical case, and on a specific aspect of the
> problem : the fonts scaling (the aspect ratio behaviour is related, if I
> give up on fonts, I will give up on the aspect ratio immediately).
> I loaded multiplt.dem on both wxt and x11 with their default sizes which
> are in the order of 600x400, and then resized both windows to make them
> smaller.
> Here is the final screenshot : http://tipote.free.fr/resize.png
> I honestly prefer the wxt output, even if none of them are really readable.

What about adding an check icon to the menu to switch on/off font scaling?
(Switching off would help to adjust font sizes before output to png or ps, 
for example.)

---
PM