From 3f9d7f4e5ad5cbd2216af8969da2bffa8b9185f8 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 14 Nov 2005 04:36:05 +0000 Subject: [PATCH] fixed some bugs svn: r1304 --- collects/drscheme/drscheme.ss | 3 ++- collects/drscheme/private/language-configuration.ss | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/drscheme/drscheme.ss b/collects/drscheme/drscheme.ss index 71b252cb54..2c40d286bd 100644 --- a/collects/drscheme/drscheme.ss +++ b/collects/drscheme/drscheme.ss @@ -14,7 +14,8 @@ (let-values ([(zo-compile make-compilation-manager-load/use-compiled-handler manager-trace-handler) - (parameterize ([current-namespace (make-namespace)]) + (parameterize ([current-namespace (make-namespace)] + [use-compiled-file-paths '()]) (values (dynamic-require '(lib "zo-compile.ss" "errortrace") 'zo-compile) (dynamic-require '(lib "cm.ss") 'make-compilation-manager-load/use-compiled-handler) diff --git a/collects/drscheme/private/language-configuration.ss b/collects/drscheme/private/language-configuration.ss index e39d504f21..dca0228e84 100644 --- a/collects/drscheme/private/language-configuration.ss +++ b/collects/drscheme/private/language-configuration.ss @@ -735,7 +735,7 @@ (λ (x y) (details-callback)))) - (define revert-to-defaults-outer-panel (make-object horizontal-pane% show-details-parent)) + (define revert-to-defaults-outer-panel (make-object horizontal-panel% show-details-parent)) (define revert-to-defaults-button (make-object button% (string-constant revert-to-language-defaults) revert-to-defaults-outer-panel