Am 28.01.2017 um 15:53 schrieb Philippe Mouawad:
Hi Felix,
Could you show some screenshots ? On which OS did you test and what LAF did
you use ?
I tried in on ubuntu 16.04 with the metal theme (default). I have
attached a screenshot. Let's hope, that it doesn't get stripped.
I used it on a Windows 8 where JMeter fonts were really too tiny and it
improved usability for me.
I also tested it on Mac OSX , it's not as good as real HiDPI but at least
it look a bit better.
Have you tried with a JSyntaxArea?
Regards,
Felix
Ok for the mouse wheel.
On Sat, Jan 28, 2017 at 3:35 PM, Felix Schumacher <
felix.schumac...@internetallee.de> wrote:
Hi all,
I tried the new zoom functionality and it looks a bit flaky to me. It
doesn't change all font sizes and seems to work especially "good" on labels
and key-combo hints in the menu.
I am not sure, how useful this feature is in the current state.
On the other hand, if we include the feature, I think it would be nice to
register a mousewheel listener and linking ctrl+mousewheel up/down to
zoom-in/-out.
Regards,
Felix
