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