MacOSX: default font size set to 12

Author: Federico Fissore

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