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))