From 2a5ce33765b13d6553a521d544d0bfa3758e4cac Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 19 Dec 2004 03:14:41 +0000 Subject: [PATCH] . original commit: c77c9274fbfeac88167e01a3d9d8f24e8329e579 --- collects/mred/private/kernel.ss | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss index 93bf968e..9cfa5622 100644 --- a/collects/mred/private/kernel.ss +++ b/collects/mred/private/kernel.ss @@ -391,6 +391,8 @@ get-char-width get-char-height get-text-extent + get-anti-alias + set-anti-alias set-text-foreground set-text-background set-pen