Dans la version 13.04 ou inférieure, il me suffisait d’accéder à la disposition du clavier, puis de cliquer sur le bouton Options, comme illustré ci-dessous:
En 13.10, le bouton Options est manquant, comme illustré dans l'image suivante:
Quelle est la nouvelle méthode d’accès à toutes les options de disposition du clavier? Dans mon cas, je souhaite en activer 3, de tuer X, à certaines touches personnalisées.