Allow zooming with ctrl+mousewheel combination

[kisstkondoros]

related #6978

[mention-bot]

By analyzing the blame information on this pull request, we identified @alexandrudima and @egamma to be potential reviewers

[msftclas]

Hi @kisstkondoros, I'm your friendly neighborhood Microsoft Pull Request Bot (You can call me MSBOT). Thanks for your contribution!
You've already signed the contribution license agreement. Thanks!

The agreement was validated by Microsoft and real humans are currently evaluating your PR.

TTYL, MSBOT;

[bpasero]

I am not sure we want to zoom the entire UI when you use the mousewhell, I would expect only the editor font to increase. Thereby moving to @alexandrudima

[kisstkondoros]

@bpasero this change is exactly about that, it changes the font-size and line-height for the editor only (not a UI zoom)

[bpasero]

Ah nice, even better 👍

[asifm]

Currently Ctrl + +/- zooms the entire UI. I hope that behavior will change too? That is, only the code area font size will change?

[kisstkondoros]

@asifm I thought about including that as well, but I wanted to leave this simple.
I think it is better to file a separate issue for that, I would be more than happy to implement it once this PR is merged 😃

[asifm]

@kisstkondoros Looks like there's an open issue #1348 and some differences of opinion. I like what @purplecabbage suggested: "Please map ctrl+- to editor view, or better yet, whichever view has focus."

[alexdima]

👍 Very nice, thank you! I shuffled the code around to bring all the logic in the /editor/ folder (not have editor knowledge in /base/) and to make it that ctrl + scroll is looked for only on editor (not on trees, etc.)