[ feature request ] mouse pan/zoom inside labeleditor

[GralfR]

I expected the mousewheel to be used for zooming inside the labeleditor. But it does nothing, even with ctrl. (OS Linux Mint 20.2, gLabel 3.99-master564)
Also the middle mousebutton could be used to pan/move the zoomed label/area/workspace without the need to grap the scrollbars. That is soooo oldschool 90's where no mousewheel existed.

Thanks
Gralf