I'm going to close this bug since as the GNOME developers indicated on the attached bug, there are two ways to use the keyboard to navigate between tabs in GNOME:
1. Press the tab key until the focus is on the tabs, then press left or right.
2. Use Ctrl+Page Up or Ctrl+Page Down.
I'm going to close this bug since as the GNOME developers indicated on the attached bug, there are two ways to use the keyboard to navigate between tabs in GNOME:
1. Press the tab key until the focus is on the tabs, then press left or right.
2. Use Ctrl+Page Up or Ctrl+Page Down.