-
-
Notifications
You must be signed in to change notification settings - Fork 21.9k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Tweak script editor zoom presets to be more useful #94569
Tweak script editor zoom presets to be more useful #94569
Conversation
As the tooltip is getting more specific with this change, it is perhaps unclear how the zoom shortcuts (cmd + + and cmd + - on macOS) tie in to this? Does it go through the preset options or is it also a finetune method? Something to also mention there, probably. |
The zoom keyboard shortcuts use the same increment as the finetune method. I've amended the PR accordingly (see OP for updated screenshots). |
096f74f
to
8a8177c
Compare
8a8177c
to
5b11e3b
Compare
Looking forward to this! Thank you! |
Seems fine to me, though I wonder if we shouldn't keep 200%. It does look pretty big but for use on e.g. screen share / meetings, I could see it being useful (where the shared screen is typically not fullscreen for the viewer). |
Also accessibility, I'd say to keep 200% |
It would be great to have a way to reset it back to 100% in a single go, like Ctrl+ click window or a shortcut. |
There is, |
Thank you! My vote goes to keep the 200% as well! |
The presets are now 50%, 75%, 90%, 100%, 110%, 125%, 150%. This also mentions Ctrl + mouse wheel in the tooltip.
5b11e3b
to
84e278c
Compare
Thanks! |
The presets are now 50%, 75%, 90%, 100%, 110%, 125%, 150%.
This also mentions Ctrl + mouse wheel and zoom keyboard shortcuts in the tooltip. This method of zooming still allows the same zoom range as before (between 25% and 300%).
Preview