From 5809860dd331745ebe4fc59912226c34086572b3 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 31 Dec 2010 13:40:54 -0700 Subject: [PATCH] fix problem with text% padding --- collects/mred/private/wxme/text.rkt | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/collects/mred/private/wxme/text.rkt b/collects/mred/private/wxme/text.rkt index bb05f198db..5f07b57d5c 100644 --- a/collects/mred/private/wxme/text.rkt +++ b/collects/mred/private/wxme/text.rkt @@ -3101,8 +3101,8 @@ (begin (when ty (set-box! ty (+ (- total-height extra-line-h) padding-t))) (when by (set-box! by (+ total-height padding-t))) - (when tx (set-box! tx 0)) - (when bx (set-box! bx 0)) + (when tx (set-box! tx padding-l)) + (when bx (set-box! bx padding-l)) #f) (if (or whole-line? (zero? len)) (begin @@ -5187,7 +5187,9 @@ (let ([y ycounter] [save-pen (send dc get-pen)]) (send dc set-pen local-caret-pen) - (send dc draw-line dx (+ y dy) dx (sub1 (+ y extra-line-h dy))) + (send dc draw-line + (+ dx padding-l) (+ y dy) + (+ dx padding-l) (sub1 (+ y extra-line-h dy))) (send dc set-pen save-pen))) (paint-done)] [(ycounter . >= . endy)