Ubuntu
gnome-shell package

  1. Bug #1855711
  2. Comment #6

Comment 6 for bug 1855711

Revision history for this message
Daniel van Vugt (vanvugt) wrote : Re: Add arrow key navigation to top bar/Dock/desktop.

Correction: It's Ctrl+Alt+Tab to navigate the panel. And it works.