From 27ee8bece6d9421b40a6f6b21622e09af4e33d52 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 28 Sep 2002 23:16:37 +0000 Subject: [PATCH] .. original commit: aa149bc9bb2799ee7d64dfadfe5f96afdcae365f --- collects/framework/private/preferences.ss | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) diff --git a/collects/framework/private/preferences.ss b/collects/framework/private/preferences.ss index 4cb9191a..7b54a06c 100644 --- a/collects/framework/private/preferences.ss +++ b/collects/framework/private/preferences.ss @@ -17,7 +17,8 @@ (import mred^ [exn : framework:exn^] [exit : framework:exit^] - [panel : framework:panel^]) + [panel : framework:panel^] + [frame : framework:frame^]) (rename [-read read]) @@ -696,16 +697,14 @@ (lambda () (letrec ([stashed-prefs (get-preference main-preferences-symbol (lambda () null))] [frame - (make-object (class100 frame% args - (public - [added-pane - (lambda (title) - (ensure-constructed) - (send tap-panel append title))]) - (sequence - (apply super-init args))) + (make-object (class frame:basic% + (define/public (added-pane title) + (lambda (title) + (ensure-constructed) + (send tap-panel append title))) + (super-instantiate ())) (string-constant preferences))] - [panel (make-object vertical-panel% frame)] + [panel (make-object vertical-panel% (send frame get-area-container))] [popup-callback (lambda (tab-panel evt) (unless (null? ppanels)