diff --git a/build/shared/lib/preferences.txt b/build/shared/lib/preferences.txt index 5b4bf7888..2f3e105d9 100644 --- a/build/shared/lib/preferences.txt +++ b/build/shared/lib/preferences.txt @@ -92,9 +92,9 @@ editor.code_folding=true # font size for editor editor.font=Monospaced,plain,12 # Monaco is nicer on Mac OS X, so use that explicitly -editor.font.macosx = Monaco,plain,10 +editor.font.macosx = Monaco,plain,12 -# anti-aliased text, turned off by default +# anti-aliased text, turned on by default editor.antialias=true # color to be used for background when 'external editor' enabled