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)))