From 4bd8257202e082212710c050b822c3e54b5d2cf0 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 18 Dec 2005 00:07:12 +0000 Subject: [PATCH] avoid MrEd/Windows zero-height message% bugs svn: r1637 --- collects/mztake/debug-tool.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/mztake/debug-tool.ss b/collects/mztake/debug-tool.ss index d0b2ad726d..5127d24f12 100644 --- a/collects/mztake/debug-tool.ss +++ b/collects/mztake/debug-tool.ss @@ -737,7 +737,7 @@ (define status-message (instantiate message% () - [label ""] + [label " "] [parent debug-panel] [stretchable-width #t])) @@ -793,7 +793,7 @@ (define mouse-over-message (instantiate message% () - [label ""] + [label " "] [parent debug-panel] [stretchable-width #t]))