diff --git a/collects/drscheme/private/rep.ss b/collects/drscheme/private/rep.ss index 24228451e1..b2ec4b53b5 100644 --- a/collects/drscheme/private/rep.ss +++ b/collects/drscheme/private/rep.ss @@ -372,7 +372,8 @@ TODO obj (λ (frame) (send frame prev-tab)))))) - (send drs-bindings-keymap map-function "c:x;o" "toggle-focus-between-definitions-and-interactions") + (send drs-bindings-keymap map-function "c:x;o" "toggle-focus-between-definitions-and-interactions") + (send drs-bindings-keymap map-function "c:f6" "toggle-focus-between-definitions-and-interactions") (send drs-bindings-keymap map-function "f5" "execute") (send drs-bindings-keymap map-function "f1" "search-help-desk") (send drs-bindings-keymap map-function "c:tab" "next-tab") diff --git a/collects/framework/private/preferences.ss b/collects/framework/private/preferences.ss index 97dace35a3..2f5b14e3f4 100644 --- a/collects/framework/private/preferences.ss +++ b/collects/framework/private/preferences.ss @@ -44,6 +44,9 @@ the state transitions / contracts are: [prefix frame: framework:frame^]) (export framework:preferences^) + (define pref-debug? (getenv "PLTDRPREFDEBUG")) + (when pref-debug? + (printf "PLTDRPREFDEBUG: showing get and set calls\n")) (define main-preferences-symbol 'plt:framework-prefs) @@ -92,6 +95,8 @@ the state transitions / contracts are: ;; return the current value of the preference `p' ;; exported (define (get p) + (when pref-debug? + (printf "get ~s\n" p)) (cond [(pref-default-set? p) (let* ([g (gensym)] @@ -108,7 +113,10 @@ the state transitions / contracts are: ;; set : symbol any -> void ;; updates the preference ;; exported - (define (set p value) (multi-set (list p) (list value))) + (define (set p value) + (when pref-debug? + (printf "set ~s\n" p)) + (multi-set (list p) (list value))) ;; set : symbol any -> void ;; updates the preference