Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Zoom keyboard shortcut, zoom vs font-size #15
The keyboard shortcut for zooming is
Also, the "zoom" behavior of this operation feels a bit weird:
It's strange and a bit frustrating that the zooming is also changing the spacing around the text. I would expect zooming to only affect the text... in other words, like in Sublime, when you do
Also, it might be helpful if we could independently "zoom" the scratch area from the console output area, similar to how in Chrome the devtools has a zoom that's independent of the page's zoom.
Thanks for raising this.
Regarding your second point, only increasing the font-size on zoom seems to make sense, especially as the UI is very minimal.