diff --git a/collects/embedded-gui/private/suppress-modify-editor.ss b/collects/embedded-gui/private/suppress-modify-editor.ss index d7d3d4c6c2..efa463b9ad 100644 --- a/collects/embedded-gui/private/suppress-modify-editor.ss +++ b/collects/embedded-gui/private/suppress-modify-editor.ss @@ -12,17 +12,13 @@ (define (suppress-modify-editor-mixin %) (class % (inherit set-modified) - #;(define/override (after-delete snip) - (super after-delete snip) + (define/augment (after-delete snip) (set-modified false)) - #;(define/override (after-insert snip before x y) - (super after-insert snip before x y) + (define/augment (after-insert snip before x y) (set-modified false)) - #;(define/override (after-move-to snip x y dragging?) - (super after-move-to snip x y dragging?) + (define/augment (after-move-to snip x y dragging?) (set-modified false)) - #;(define/override (after-resize snip w h resized?) - (super after-resize snip w h resized?) + (define/augment (after-resize snip w h resized?) (set-modified false)) (super-new))) )