From 616647cb178374231a8157813a8c9725cd1892a8 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 14 Nov 2010 06:48:02 -0600 Subject: [PATCH] drr: remove bad keybindings for next-tab and prev-tag --- collects/drracket/private/rep.rkt | 2 -- 1 file changed, 2 deletions(-) diff --git a/collects/drracket/private/rep.rkt b/collects/drracket/private/rep.rkt index ba5bdf44bb..4c4fedc842 100644 --- a/collects/drracket/private/rep.rkt +++ b/collects/drracket/private/rep.rkt @@ -303,8 +303,6 @@ TODO (send drs-bindings-keymap map-function "f1" "search-help-desk") (send drs-bindings-keymap map-function "c:tab" "next-tab") (send drs-bindings-keymap map-function "c:s:tab" "prev-tab") - (send drs-bindings-keymap map-function "d:s:right" "next-tab") - (send drs-bindings-keymap map-function "d:s:left" "prev-tab") (send drs-bindings-keymap map-function "c:pagedown" "next-tab") (send drs-bindings-keymap map-function "c:pageup" "prev-tab")