Oh, ok, I still seem to have the old shortcuts (Ctrl+Alt+arrow). Maybe I
changed them at some point and now my user-defined ones override the
system ones?
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/
Indeed, neither am I
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/933630
Title:
Launcher doesn't auto-hide after using Super+1..9 shortcuts
To manage notifications about this bug go to:
https://bu