Ubuntu
gnome-shell package

  1. Bug #2054149
  2. Comment #4

Comment 4 for bug 2054149

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

It looks like the Super+Num feature is inherited from vanilla gnome-shell.