diff --git a/collects/drscheme/private/rep.ss b/collects/drscheme/private/rep.ss index 764adc710f..24228451e1 100644 --- a/collects/drscheme/private/rep.ss +++ b/collects/drscheme/private/rep.ss @@ -373,8 +373,6 @@ TODO (λ (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:tab" "toggle-focus-between-definitions-and-interactions") - (send drs-bindings-keymap map-function "c:shift:tab" "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")