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

fixed bug in new font preference handling

Browse Source 
svn: r6667

original commit: a87cf0300521a040b0f0251f7ddfc1f2cb14f0a5
This commit is contained in:
Robby Findler 2007-06-15 19:09:50 +00:00
parent 8a7579110b
commit 9c31c7e4b9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/framework/private/editor.ss
View File

@ -372,7 +372,7 @@
(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 'mono))
(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))))
;; set-standard-style-list-delta : string (is-a?/c style-delta<%>) -> void