+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 il y a 12 ans
Add this line to your user keymap file:
{ "keys": ["ctrl+keypad0"], "command": "reset_font_size" }
+5
Craig Patik il y a 12 ans
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.
Service d'assistance aux clients par UserEcho