Ubuntu
hotkeys package

  1. Bug #1299923
  2. Comment #3

Comment 3 for bug 1299923

Revision history for this message
Dread Knight (dread.knight) wrote :

Indeed, sometimes it works, sometimes it doesn't.
Sometimes all the extensions get disabled too.
Gnome-shell + gdm (I think)