Supprimer un raccourci clavier
Bonjour,
Il y a quelques temps, j'ai configuré Gnome pour que la touche "Super" affiche le gnome-shell, mais j'aimerai supprimer ce raccourci alors que j'ai oublié comment je l'avais défini.
J'ai regardé dans la config de gnome > clavier > raccourcis, mais il n'y est pas. J'ai aussi recherché "Super" et "super" dans gconf-editor, et les seuls résultats n'avaient rien à voir.
xbindkeys n'est pas installé sur mon système (il l'a peut-être été, mais je doute qu'il puisse encore avoir un effet dans ce cas).
Quelqu'un peut-il me donner des pistes ?
Merci d'avance
Valentin