From b01473094ddf98f4cf44a8a39c2787c227ab0df6 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 4 Sep 2002 19:31:52 +0000 Subject: [PATCH] . original commit: 95fe929550adcb10c9f9a49e5b3f17ddf12c828f --- collects/mred/mred.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index 7db4c686..3dda62ec 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -5092,7 +5092,8 @@ [msg-pnl (make-object vertical-pane% rhs-pnl)] [btn-pnl (make-object vertical-pane% rhs-pnl)]) (send msg-pnl vert-margin 16) - (send btn-pnl horiz-margin 16) + (when single? + (send msg-pnl horiz-margin 8)) (send btn-pnl vert-margin 8) (send msg-pnl min-height 64) (send btn-pnl stretchable-height #f)