From 59672942874be76822487452a40794f21ed939c8 Mon Sep 17 00:00:00 2001 From: Federico Fissore Date: Tue, 28 Apr 2015 11:46:49 +0200 Subject: [PATCH] MacOSX: default font size set to 12 --- build/shared/lib/preferences.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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