From 41d92f689122946805d1d6408098147012f7bb44 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 5 Jan 2011 09:57:33 -0700 Subject: [PATCH] fix line-number mixin original commit: c9d2f43398dc4c607ff98278cab93655d3b2af14 --- collects/framework/private/text.rkt | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/collects/framework/private/text.rkt b/collects/framework/private/text.rkt index 8577547d..e49a76ee 100644 --- a/collects/framework/private/text.rkt +++ b/collects/framework/private/text.rkt @@ -3880,13 +3880,16 @@ designates the character that triggers autocompletion (+ (unbox left) dx)) (define/augment (after-insert start length) - (setup-padding)) + (setup-padding) + (inner (void) after-insert start length)) (define/augment (after-delete start length) - (setup-padding)) + (setup-padding) + (inner (void) after-delete start length)) (define/augment (after-change-style start length) - (setup-padding)) + (setup-padding) + (inner (void) after-change-style start length)) (define (draw-numbers dc top bottom dx dy start-line end-line) (define (draw-text . args)