From 09d7a8f939e5fd5420d6b74739b56758c6b01c2c Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Tue, 7 Jun 2022 10:36:26 -0700 Subject: [PATCH] allow upper or lowercase font extensions --- quad2/font.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/quad2/font.rkt b/quad2/font.rkt index a8034d84..920c38c2 100644 --- a/quad2/font.rkt +++ b/quad2/font.rkt @@ -22,7 +22,8 @@ (define-runtime-path default-math-face "default-fonts/fallback-math/NotoSansMath-Regular.ttf") (define-runtime-path default-emoji-face "default-fonts/fallback-emoji/NotoEmoji-Regular.ttf") (define top-font-directory "fonts") -(define font-file-extensions '(#".otf" #".ttf" #".woff" #".woff2")) +(define base-extensions '(".otf" ".ttf" ".woff" ".woff2")) +(define font-file-extensions (map string->bytes/utf-8 (append base-extensions (map string-upcase base-extensions)))) (define (fonts-in-directory dir)