From f30c6f2fbdb197c55040589a31252f095b7c04a0 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 14 Oct 2013 14:16:23 -0500 Subject: [PATCH] adjust 'move tab left/right' keybindings to avoid begin the same as browser tab switching --- pkgs/drracket-pkgs/drracket/drracket/private/main.rkt | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/main.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/main.rkt index c7f54d8f85..caa496a93e 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/main.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/main.rkt @@ -752,9 +752,11 @@ (when frame (send frame next-tab))))]) - (define mprefix (if (eq? (system-type) 'windows) - (list* 'alt 'shift (get-default-shortcut-prefix)) - (cons 'shift (get-default-shortcut-prefix)))) + (define mprefix (case (system-type) + [(windows unix) + (list* 'alt 'shift (get-default-shortcut-prefix))] + [(macosx) + (list* 'option (get-default-shortcut-prefix))])) (new menu-item% [parent windows-menu]