From 506aa79d14f2b32cc1028b0e9a8cee5b3ee0a24d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 28 Oct 2011 20:00:13 -0600 Subject: [PATCH] fix editor refresh problem when line numbers are shown More generally, fix horizontal refresh when an editor has left padding. Otherwise, deleting a character in DrRacket with line numbers shown seems sluggish, because the update waits for a refresh event. --- collects/mred/private/wxme/mline.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/mred/private/wxme/mline.rkt b/collects/mred/private/wxme/mline.rkt index 44eec89cee..a88998d0c5 100644 --- a/collects/mred/private/wxme/mline.rkt +++ b/collects/mred/private/wxme/mline.rkt @@ -1145,13 +1145,13 @@ Debugging tools: (unless (= maxscroll (mline-numscrolls mline)) (set-scroll-length mline maxscroll)) (if (= maxh (mline-h mline)) - (send media refresh-box 0 y bigwidth maxh) + (send media refresh-box padding-l y bigwidth maxh) (begin (set-height mline maxh) (let ([bigwidth (max 1e5 ;; really want viewable width, but > ok (send media get-s-total-width))] [bigheight (+ maxh (send media get-s-total-height))]) - (send media refresh-box 0 y bigwidth bigheight)))))))) + (send media refresh-box padding-l y bigwidth bigheight)))))))) #t))) (define (update-right) (and (bit-overlap? (mline-flags mline) CALC-RIGHT)