From 8f88331a729b01d887bf534477e0570bfed99f53 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Thu, 15 Oct 2009 16:18:01 +0000 Subject: [PATCH] DrDr properties svn: r16327 original commit: 2690ee8beecb05025cbd7c3e196c2545f28e63ed --- collects/embedded-gui/private/program-editor.ss | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/embedded-gui/private/program-editor.ss b/collects/embedded-gui/private/program-editor.ss index 7274f2ee..a9f67b8d 100644 --- a/collects/embedded-gui/private/program-editor.ss +++ b/collects/embedded-gui/private/program-editor.ss @@ -72,15 +72,15 @@ is being reset. ; (super on-insert start len) ; (end-edit-sequence)) - (define/override (after-insert start len) + (define/augment (after-insert start len) (alert-of-modify) ;(begin-edit-sequence) - (super after-insert start len) + #;(super after-insert start len) ;(end-edit-sequence) ) - (define/override (after-delete start len) + (define/augment (after-delete start len) (alert-of-modify) - (super after-delete start len)) + #;(super after-delete start len)) (super-new))) (define program-editor%