From 68c79dd6936206e4d356bf84de6338a7e548060a Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 15 May 2008 19:25:39 +0000 Subject: [PATCH] mred doc repair (PR 8890) svn: r9858 original commit: 54e696c9d46f19cf3c66ca3562f21871d6c438af --- collects/scribblings/gui/editor-overview.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/scribblings/gui/editor-overview.scrbl b/collects/scribblings/gui/editor-overview.scrbl index ddcfeb7c..896971f0 100644 --- a/collects/scribblings/gui/editor-overview.scrbl +++ b/collects/scribblings/gui/editor-overview.scrbl @@ -150,8 +150,8 @@ Applications that use the editor classes typically derive new versions (define append-only-text% (class text% (inherit #,(:: text% last-position)) - (define/override (#,(:: text% can-insert?) s l) (= s #,(:: text% last-position))) - (define/override (#,(:: text% can-delete?) s l) #f) + (define/augment (#,(:: text% can-insert?) s l) (= s (#,(:: text% last-position)))) + (define/augment (#,(:: text% can-delete?) s l) #f) (super-new))) ]