From 2d55dd1bb7582e2fab69010236e4e629b723e732 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 7 Dec 2010 07:27:54 -0600 Subject: [PATCH] sort the font names in the popup --- collects/drracket/private/font.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/drracket/private/font.rkt b/collects/drracket/private/font.rkt index 6955cdd1b9..73a9e725e3 100644 --- a/collects/drracket/private/font.rkt +++ b/collects/drracket/private/font.rkt @@ -71,7 +71,7 @@ (when (eq? receiver font-name-control) (when (symbol? mono-list) (begin-busy-cursor) - (set! mono-list (get-face-list 'mono)) + (set! mono-list (sort (get-face-list 'mono) string-ci<=?)) (send font-name-control clear) (for-each (λ (x) (send font-name-control append x))