GNOME Shell

  1. Bug #1710421
  2. Comment #7

Comment 7 for bug 1710421

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

Also worth noting: Keyboard navigation of the window menu is still possible, just slower:

1. Alt+Space
2. Up/Down arrows
3. Enter