Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 08-06-2012 20:44:16

ProgVal
Membre
Lieu : Metz
Distrib. : GNU/Linux Sid
Noyau : Linux 3.2 (amd64)
(G)UI : KDE 4.7 / Gnome 3.4
Inscription : 18-08-2010
Site Web

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

Hors ligne

#2 09-06-2012 05:02:58

misaine
Membre
Lieu : sables d'olonne
Distrib. : Antergos (Archlinux)
Noyau : 4.3.3
(G)UI : gnome-shell 3.18.2
Inscription : 29-07-2007

Re : Supprimer un raccourci clavier

super est la touche attribuée par défaut pour afficher le dash
je ne pense pas que tu ais eu à la définir et je ne sais pas si on peux en changer.

amd phenom 7650 , 4 Go DDR2 ,GeForce N210

Hors ligne

Pied de page des forums