just grab an edge and resize the window to the size you want :)
yes, i know but doing that in discrete manner would be also super-useful :) to retain initial fonts consistency etc...
I can look into that for you 😀
many-many thanks in advance!!!
discrete zoom is suuuuper useful!!! thanks a lot!
