I think, without this option, ctrl+scroll will just scroll up/down but not zooming in/out. Ctrl+"+" will still increase the font size of the whole GUI.
Some comments have been hidden by the post's author - find out more
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
Great tips!
For the point [3], I would mention the option below, too:
"editor.mouseWheelZoom": true
This allows you to zoom only the editor with CTRL+mouse scroll, instead of the full GUI :)
this point is really helpful. I would love to tweet this
Thank you, Mitsuriou!
I think, without this option, ctrl+scroll will just scroll up/down but not zooming in/out. Ctrl+"+" will still increase the font size of the whole GUI.