I am not sure if this is known, and if yes, for how long it has been around. I am on Pd 0.48 via apt on Debian testing.
Creating the following gui objects after having zoomed in does not create them with zoomed (doubled) dimensions : graphical bang hslider vslider hradio vradio vumeter (does look totally weird) (see also attached gui_zoomedObjectCreation.png where the objects have been created twice, once before zooming in, once afterwards)
What works correctly here is: number graphical toggle canvas
Number2 does not scale at all upon zooming in.
In general, upon using the great zoom feature I discovered that the labels of most gui objects do not scale except for that of the numberbox.
The area that changes the mousepointer to something else (a circle on Debian) when hovering over in/outlets does not scale either on zoomed patches making it more difficult to find this area.
Happy to do more testing.
I was hoping I could make use of the zoom feature in my teaching this semester but sadly will have to wait a bit.
