From fd30c9ed44bd3f59f5e42914e9d073aa067a0d9d Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Wed, 11 May 2022 10:49:55 -0700 Subject: [PATCH] paths can be case sensitive, can't they --- quad2/font.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/quad2/font.rkt b/quad2/font.rkt index 7122370a..d30cb764 100644 --- a/quad2/font.rkt +++ b/quad2/font.rkt @@ -134,7 +134,7 @@ ;; we trust it exists because we used `setup-font-path-table` earlier, ;; but if not, fallback fonts will kick in, on the idea that a missing font shouldn't stop the show ;; we know we have :font-family because this pass is restricted to that key - (match (string-downcase (hash-ref attrs :font-family)) + (match (hash-ref attrs :font-family) [(? font-path-string? ps) (path->complete-path ps)] [this-font-family (define this-bold (hash-ref attrs :font-bold (λ () (error 'need-default-font-bold))))