From cb54fa31a54be2a4d62f9e861895acbd1f31b8b0 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 10 Jun 2007 22:20:41 +0000 Subject: [PATCH] fix little bugs in font select svn: r6567 --- collects/drscheme/private/font.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/drscheme/private/font.ss b/collects/drscheme/private/font.ss index a7f0865867..8f1da9978e 100644 --- a/collects/drscheme/private/font.ss +++ b/collects/drscheme/private/font.ss @@ -80,7 +80,7 @@ [(< selection (length mono-list)) (preferences:set 'framework:standard-style-list:font-name - (list-ref selection mono-list))] + (list-ref mono-list selection))] [else (let* ([all-faces (get-face-list)] [init-choices @@ -98,7 +98,7 @@ [choice (get-choices-from-user (string-constant select-font-name) (string-constant select-font-name) - (get-face-list 'mono) + all-faces #f init-choices)]) (when choice