From a89ac522150da1f3056c887281ec73217ed1a4f3 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 25 Jan 2014 21:41:09 -0600 Subject: [PATCH] fix (hopefully) the Move Tab Left and Move Tab Right shortcut keybindings --- pkgs/drracket-pkgs/drracket/drracket/private/main.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/main.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/main.rkt index 84ccf03f2e..e19bc897e8 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/main.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/main.rkt @@ -715,9 +715,9 @@ (define-values (mprefix use-shortcut?) (case (system-type) [(windows unix) - (if (equal? (get-default-shortcut-prefix) 'ctl) - (values (list* 'alt 'shift (get-default-shortcut-prefix)) #f) - (values (get-default-shortcut-prefix) #t))] + (if (equal? (get-default-shortcut-prefix) (list 'ctl)) + (values (list* 'alt 'shift (get-default-shortcut-prefix)) #t) + (values (get-default-shortcut-prefix) #f))] [(macosx) (values (cons 'option (get-default-shortcut-prefix)) #t)]))