From b0d909bd8fc09959beff44f92268db9ee25b0a08 Mon Sep 17 00:00:00 2001 From: lvilnis Date: Thu, 25 Aug 2011 23:53:27 -0400 Subject: [PATCH] Fixed a bug with delete, undo and clickbacks in DrRacket --- collects/mred/private/wxme/undo.rkt | 2 +- collects/typed-scheme/optimizer/tool/tool.rkt | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/mred/private/wxme/undo.rkt b/collects/mred/private/wxme/undo.rkt index 10d1fa85cb..3b40aea659 100644 --- a/collects/mred/private/wxme/undo.rkt +++ b/collects/mred/private/wxme/undo.rkt @@ -156,7 +156,7 @@ (for-each disown deletions) (send editor do-insert-snips deletions start) (for-each (lambda (cb) - (send editor set-clickback cb)) + (send editor add-back-clickback cb)) clickbacks) (send editor set-position startsel endsel) diff --git a/collects/typed-scheme/optimizer/tool/tool.rkt b/collects/typed-scheme/optimizer/tool/tool.rkt index c7e87163a7..39a5adbcc9 100644 --- a/collects/typed-scheme/optimizer/tool/tool.rkt +++ b/collects/typed-scheme/optimizer/tool/tool.rkt @@ -64,9 +64,9 @@ (send this remove-clickback start end)])) (set! highlights '())) - (define/augment (after-insert start len) + (define/augment (on-insert start len) (clear-highlights)) - (define/augment (after-delete start len) + (define/augment (on-delete start len) (clear-highlights)) (super-new)))