1. General
  2. Pomysły
+24

"Zoom" reset

Andrew Montag 12 lat temu • Ostatnio zmodyfikowane przez Craig Patik 12 lat temu • 2
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 lat temu
Add this line to your user keymap file:

{ "keys": ["ctrl+keypad0"], "command": "reset_font_size" }
+5
Craig Patik 12 lat temu
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