From 4ff3c57e9db54cc271f06f2301ca8990d0a95784 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 13 Aug 1996 15:24:23 +0000 Subject: [PATCH] reverted back to 22 original commit: 62c7e1a4a30d6d3d230e4071b515f3250b9fe28c --- collects/mred/prefs.ss | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/collects/mred/prefs.ss b/collects/mred/prefs.ss index cc64e10d..bdb5617b 100644 --- a/collects/mred/prefs.ss +++ b/collects/mred/prefs.ss @@ -178,7 +178,11 @@ (let* ([main (make-object mred:vertical-panel% parent)] [make-check (lambda (callback title initial-value) - (let* ([c (make-object mred:check-box% main callback title)]) + (let* ([h (make-object mred:horizontal-panel% main)] + [c (make-object mred:check-box% h callback title)] + [p (make-object mred:horizontal-panel% h)]) + (send* h (spacing 1) (border 1)) + (send* p (spacing 1) (border 1)) (send c set-value initial-value)))]) (send main spacing 1) (make-check (lambda (_ command)