5 | | Alternatives might include Ctrl+Alt+[left,right,up,down)-arrow or perhaps option+tab for next tab, option+shift+tab for previous tab, option+pgup for previous window group, option+pgdn for next window group provided that those shortcuts those keys are not also used by applications. |
| 5 | Alternatives might include Ctrl+Alt+[left,right,up,down]-arrows or perhaps option+tab for next tab, option+shift+tab for previous tab, option+pgup for previous window group, option+pgdn for next window group provided that those shortcuts are not also used by applications. |