diff --git a/collects/drscheme/private/main.ss b/collects/drscheme/private/main.ss index 8b63a80ca6..4db6510fa4 100644 --- a/collects/drscheme/private/main.ss +++ b/collects/drscheme/private/main.ss @@ -89,6 +89,8 @@ (finder:default-filters))) (application:current-app-name (string-constant drscheme)) +(preferences:set-default 'drscheme:logger-gui-tab-panel-level 0 (λ (x) (and (exact-integer? x) (<= 0 x 5)))) + (preferences:set-default 'drscheme:saved-bug-reports '() (λ (ll) diff --git a/collects/drscheme/private/unit.ss b/collects/drscheme/private/unit.ss index 3a65ae2abf..37e9bdaf32 100644 --- a/collects/drscheme/private/unit.ss +++ b/collects/drscheme/private/unit.ss @@ -1523,7 +1523,9 @@ module browser threading seems wrong. [parent logger-panel] [callback (λ (tp evt) + (preferences:set 'drscheme:logger-gui-tab-panel-level (send logger-gui-tab-panel get-selection)) (update-logger-window #f))])) + (send logger-gui-tab-panel set-selection (preferences:get 'drscheme:logger-gui-tab-panel-level)) (new-logger-text) (set! logger-gui-canvas (new editor-canvas% [parent logger-gui-tab-panel] [editor logger-gui-text]))