From d3b4db2ed18017e02eb0651c6f53ecaf117f5df2 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 23 Aug 2012 21:27:00 -0500 Subject: [PATCH] fix the computation of the minimum width for the blue boxes (you could see it going wrong with 'this' from racket/class) --- collects/drracket/private/syncheck/contract-gui.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/drracket/private/syncheck/contract-gui.rkt b/collects/drracket/private/syncheck/contract-gui.rkt index 4aa63d16d2..e8d1bfcf24 100644 --- a/collects/drracket/private/syncheck/contract-gui.rkt +++ b/collects/drracket/private/syncheck/contract-gui.rkt @@ -793,7 +793,9 @@ #t)] [else ;; otherwise we make an extra line at the top for the first line - (values (max main-w label-w) + (values (max main-w + (+ label-w blue-box-margin blue-box-margin) + (+ read-more-w blue-box-margin blue-box-margin)) (+ main-h label-h read-more-h read-more-gap) #f)]))