Your comments
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.
12 years ago
Customer support service by UserEcho