Ubuntu
gtk+3.0 package

  1. Bug #944094
  2. Comment #4

Comment 4 for bug 944094

Revision history for this message
Jeremy Bícha (jbicha) wrote :

To be fair, I don't believe Ctrl+Tab is a standard GNOME shortcut to switch between tabs.