From d4ffb4f39f33798caa9b2bcad14d2d645731d2e6 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 10 Dec 2010 20:35:45 -0700 Subject: [PATCH] fix `get-char-height' and `get-char-width' in dc<%> Closes PR 11526 original commit: 965e8f96d13d26cf34c9c5a42a7e27c29eeea989 --- collects/tests/gracket/dc.rktl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/tests/gracket/dc.rktl b/collects/tests/gracket/dc.rktl index afce8bc4..7213989f 100644 --- a/collects/tests/gracket/dc.rktl +++ b/collects/tests/gracket/dc.rktl @@ -72,6 +72,9 @@ (try-ok 'set-text-foreground (make-object color% "Yellow")) (try-ok 'set-text-mode 'transparent) + (try-ok 'get-char-height) + (try-ok 'get-char-width) + (try 'try-color (make-object color% "Yellow") (make-object color%))) (st #f mdc ok?)