13.04 - plus de quatre raccourcis d'espace de travail dans GNOME Flashback (aucun effet)

J'utilise GNOME Flashback (aucun effet) sur Ubuntu 13.04 et j'ai six espaces de travail, mais lorsque j'entre dans Paramètres système -> Clavier -> Raccourcis -> Navigation, je ne vois que des options pour répondre aux quatre premiers.

Auparavant, il y avait des options jusqu'à 12 espaces de travail et comme je n'en ai certainement pas besoin, je veux en avoir au moins assez pour le montant actuellement actif.

Comment puis-je restaurer ou ajouter plus de coupes de vue spécifiquement pour naviguer et déplacer des fenêtres vers les espaces de travail 5 et 6?

Le seul moyen que j'ai trouvé pour modifier les raccourcis clavier pour les espaces de travail 5 et plus dans GNOME Flashback, est via un shell utilisant la dconfcommande.

$ dconf read /org/gnome/desktop/wm/keybindings/switch-to-workspace-1
['<Primary>F1']

Ici, je lis le paramètre de raccourci pour le premier espace de travail, pour avoir une idée de la syntaxe à utiliser lors de la définition des valeurs pour les raccourcis manquants. J'utilise CTRL+ F1moi-même.

Pour ajouter des raccourcis pour les espaces de travail restants, modifiez simplement la valeur retournée ci-dessus pour qu'elle corresponde au numéro de l'espace de travail et utilisez-les dconfpour les appliquer:

$ dconf write /org/gnome/desktop/wm/keybindings/switch-to-workspace-5 "['<Primary>F5']"
$ dconf write /org/gnome/desktop/wm/keybindings/switch-to-workspace-6 "['<Primary>F6']"

Peut-être un moyen un peu plus confortable que d'utiliser dconf sur la ligne de commande est dconf-editor. Exécutez dconf-editor puis accédez à

org -> gnome -> bureau -> wm -> raccourcis clavier

Vous pouvez y trouver et modifier les commandes de basculement vers l'espace de travail et de déplacement vers l'espace de travail pour les espaces de travail 1 à 9.

Je ne sais pas comment ajouter plus de raccourcis mais vous pouvez utiliser alt + ctrl + flèche droite / gauche pour vous déplacer entre les espaces de travail

(et vous pouvez utiliser alt + ctrl + shift + flèches droite / gauche pour déplacer les fenêtres vers d'autres espaces de travail)

J'utilise toujours ces

hé j'ai trouvé quelque chose!

allez dans les paramètres système (du menu des applications vers la gauche, les utilitaires, les paramètres système)

cliquez sur "clavier"

cliquez sur l'onglet "raccourcis"

cliquez sur "navigation" (devrait être le deuxième élément du menu à gauche)

"passer à l'espace de travail _" ce devrait être eux! ... et vous avez de nombreuses autres options de raccourcis à modifier!