From 215bb591832f328d8c9b3ad3488542aeb26c9a24 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 16 Nov 2001 02:33:13 +0000 Subject: [PATCH] ... original commit: 55ed940b046dcd033c47e61c7db032e86be56aed --- collects/framework/private/frame.ss | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/collects/framework/private/frame.ss b/collects/framework/private/frame.ss index 91e2816f..10cfb713 100644 --- a/collects/framework/private/frame.ss +++ b/collects/framework/private/frame.ss @@ -912,6 +912,11 @@ (set! super-root s-root) (set! rest-panel r-root) r-root))] + + (rename [super-get-editor<%> get-editor<%>]) + (define/override (get-editor<%>) + (interface ((super-get-editor<%>) text:delegate<%>))) + (rename [super-get-editor% get-editor%]) (define/override (get-editor%) (text:delegate-mixin (super-get-editor%)))