+24
"Zoom" reset
I like using Ctrl + Scroll to change the font size (easy for presenting to other people) but the only thing missing is Ctrl + 0 to reset!
+5
Paul van der Meijs 12 aastat tagasi
Add this line to your user keymap file:
{ "keys": ["ctrl+keypad0"], "command": "reset_font_size" }
+5
Craig Patik 12 aastat tagasi
This is not the same as pressing Ctrl-0 in a browser. Instead, it
removes the font_size and font_options from your user preferences file,
thereby falling back to the app defaults. So if you want to use anything
other than 10pt with no subpixel antialiasing, etc, then unfortunately
this isn't a good solution.
Customer support service by UserEcho