suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use Menlo as the default font, when it is available

Browse Source 
original commit: 251eb235d900b2522d1643368375b44a5a2fbd4a
This commit is contained in:
Robby Findler 2014-05-19 20:39:23 -05:00
parent 779275c204
commit 99762f704e
2 changed files with 19 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pkgs/gui-pkgs/gui-lib/framework/private/editor.rkt
View File

@ -434,9 +434,17 @@
(set-font-size/callback (font-size-pref->current-font-size v))))
(preferences:add-callback 'framework:standard-style-list:font-name (λ (p v) (set-font-name v)))
(preferences:add-callback 'framework:standard-style-list:smoothing (λ (p v) (set-font-smoothing v)))
(unless (member (preferences:get 'framework:standard-style-list:font-name) (get-face-list))
(preferences:set 'framework:standard-style-list:font-name (get-family-builtin-face 'modern))))
(define fl (get-face-list))
(unless (member (preferences:get 'framework:standard-style-list:font-name) fl)
(define preferred-font
(cond
[(equal? (system-type) 'macosx)
(define preferred-font "Menlo")
(if (member preferred-font fl)
preferred-font
(get-family-builtin-face 'modern))]
[else (get-family-builtin-face 'modern)]))
(preferences:set 'framework:standard-style-list:font-name preferred-font)))
(define (get-current-preferred-font-size)
(font-size-pref->current-font-size (preferences:get 'framework:standard-style-list:font-size)))

9
pkgs/gui-pkgs/gui-lib/framework/private/main.rkt
View File

@ -215,7 +215,14 @@
'mixed (λ (x) (memq x '(mixed improper decimal))))
(preferences:set-default 'framework:standard-style-list:font-name
(get-family-builtin-face 'modern)
(cond
[(equal? (system-type) 'macosx)
(define preferred-font "Menlo")
(define fl (get-face-list))
(if (member preferred-font fl)
preferred-font
(get-family-builtin-face 'modern))]
[else (get-family-builtin-face 'modern)])
string?)
(preferences:set-default