feat: use Ctrl + mouse wheel to change the font

[ouuan]

No description provided.

[pull-assistant]

Best reviewed: commit by commit

---

Optimal code review plan

     feat: use mouse wheel to change the font

Powered by Pull Assistant. Last update 082adb6 ... 082adb6. Read the comment docs.

[sonulohani]

Hi @ouuan

I can verify from visual studio 2019 and vscode that when we zoom in or zoom out, it generally zoom-in/out the viewport and not increase/decrease font size. Can we have a small combo-box like this as well

Reference link for zoom-in/out the widget:- https://stackoverflow.com/questions/6650219/zooming-function-on-a-qwidget

[ouuan]

@coder3101 @neko-para Any review?

[coder3101]

I can verify from visual studio 2019 and vscode that when we zoom in or zoom out, it generally zoom-in/out the viewport and not increase/decrease font size.

It is true but what is the problem with increasing or decreasing the font size?

[neko-para]

I think it's ok to change font size directly.

[coder3101]

Fine on win10