From 4ed2cea8578f62624802c16ab2c613953f7d5820 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 5 Nov 2009 16:19:01 +0000 Subject: [PATCH] added some font sizing information to the insert large letters dialog svn: r16561 original commit: ad438ef63fe680b29ffde88bf8d6e4a7f233ec3f --- collects/typed/mred/mred.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/typed/mred/mred.ss b/collects/typed/mred/mred.ss index c42b478f..053d102a 100644 --- a/collects/typed/mred/mred.ss +++ b/collects/typed/mred/mred.ss @@ -23,7 +23,9 @@ ())) (dt Choice% (Class () ([parent Any] [label String] [choices (Listof Any)] [callback Any]) - ([get-string-selection (-> (Option String))] + ([get-selection (-> (Option Integer))] + [set-selection (Integer -> Any)] + [get-string-selection (-> (Option String))] [set-string-selection (String -> Void)]))) (dt Message% (Class () ([parent Any] [label String])