From dbab526ae5a711823a9ecec50ea37da63e38d1db Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 18 Jun 2003 15:48:44 +0000 Subject: [PATCH] .. original commit: 84488a2933add51d8f9072ffae7f264e0ff9979e --- collects/framework/private/editor.ss | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/framework/private/editor.ss b/collects/framework/private/editor.ss index 51179734..49782f56 100644 --- a/collects/framework/private/editor.ss +++ b/collects/framework/private/editor.ss @@ -332,8 +332,9 @@ (define standard-style-list-mixin (mixin (editor<%>) (standard-style-list<%>) (super-instantiate ()) - (inherit set-style-list) - (set-style-list standard-style-list))) + (inherit set-style-list set-load-overwrites-styles) + (set-style-list standard-style-list) + (set-load-overwrites-styles #f))) (define -keymap<%> (interface (basic<%>) get-keymaps)) (define keymap-mixin