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