From b528e0e6826460aa14e99f504b0ed330b26858a3 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 26 Jun 2015 10:47:03 -0500 Subject: [PATCH] limit font sizes to exact integers in [0,255] --- gui-lib/framework/private/main.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gui-lib/framework/private/main.rkt b/gui-lib/framework/private/main.rkt index 72650ccb..812a0fa9 100644 --- a/gui-lib/framework/private/main.rkt +++ b/gui-lib/framework/private/main.rkt @@ -242,10 +242,10 @@ (non-empty-listof (list/c exact-nonnegative-integer? exact-nonnegative-integer?)) ;; the font size for that configuration - exact-nonnegative-integer? + (integer-in 0 255) #:flat? #t) ;; default font size, when none of the configs above apply - exact-nonnegative-integer? + (integer-in 0 255) #:flat? #t)) (preferences:set-un/marshall