suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

added a preference to remember the log viewer's setting

Browse Source 
svn: r18266
This commit is contained in:
Robby Findler 2010-02-22 19:45:17 +00:00
parent f1e7c7e4b0
commit 18e8f00572
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/drscheme/private/main.ss
View File

@ -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)

2
collects/drscheme/private/unit.ss
View File

@ -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]))