adjust 'move tab left/right' keybindings to avoid
begin the same as browser tab switching
This commit is contained in:
parent
4a542969c7
commit
f30c6f2fbd
|
@ -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]
|
||||
|
|
Loading…
Reference in New Issue
Block a user