rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-03-15 12:29:26 +01:00
Code Issues Releases Activity

MacOSX: default font size set to 12

Browse Source
This commit is contained in:
Federico Fissore 2015-04-28 11:46:49 +02:00
parent 9dbde04212
commit 5967294287
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
build/shared/lib/preferences.txt
View File

@ -92,9 +92,9 @@ editor.code_folding=true
# font size for editor # font size for editor
editor.font=Monospaced,plain,12 editor.font=Monospaced,plain,12
# Monaco is nicer on Mac OS X, so use that explicitly # 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 editor.antialias=true
# color to be used for background when 'external editor' enabled # color to be used for background when 'external editor' enabled