Je n'arrive pas à trouver comment obtenir une grille d'espace de travail à l'aide de Gnome 3. Elle reste juste verticale, largeur de 1 et hauteur illimitée ...
Toute aide sera grandement appréciée. Merci.
gnome
workspaces
gnome-shell
Mandibull
la source
la source
L' extension Frippery Bottom Panel définit une disposition horizontale pour les espaces de travail. Lorsqu'il est actif, vous devez utiliser
ctrl+alt+left
etctrl+alt+right
pour changer d'espace de travail, au lieu dectrl+alt+up
etctrl+alt+down
.Au moment de la rédaction, cependant, cela ne change pas la disposition des espaces de travail dans la vue d'activité, où les espaces de travail sont toujours empilés verticalement, et où vous devez utiliser l'ancien
ctrl+alt+up
et lesctrl+alt+down
touches.En outre, il ajoute un panneau inférieur que vous ne pouvez pas supprimer sans désactiver toute l'extension. Sur ce panneau inférieur, il y a des boutons pour accéder rapidement à chaque espace de travail, mais ils ne montrent pas une miniature des fenêtres de cet espace de travail, comme nous en avions dans gnome 2.
L'extension n'est que de 1128 lignes de javascript plutôt simple, donc je pourrais dériver une extension de "disposition horizontale de l'espace de travail" rapide et sale en quelques jours si je trouve du temps.
la source
J'ai modifié l'extension Frippery Bottom Panel pour ne changer que l'espace de travail horizontal et j'ai supprimé toutes les autres fonctionnalités. ça marche pour moi, voici un lien:
Panneau inférieur Frippery modifié sur GoogleDrive
pour installer, mettez simplement le répertoire dans '~ / .local / share / gnome-shell / extensions', puis redémarrez Gnome via Alt + F2 et entrez 'r', ou tout simplement déconnectez-vous et reconnectez-vous. dans metadata.json, j'ai défini les versions de shell répertoriées de 3,6 à 3,18, les derniers travaux.
en ce moment, cela place simplement le nombre défini globalement d'espaces de travail dans une ligne horizontale. une grille (horizontale + verticale) serait également possible, mais vous devez modifier le script pour changer les dimensions.
@Georges Duperon, malheureusement je ne peux pas encore commenter.
btw. quel est un bon endroit pour mettre des hacks sales partagés, ne veux pas utiliser github pour cela ..?
la source
ctrl+alt+arrow
il montre le sélecteur d'espace de travail avec la direction correspondante (haut, bas, gauche, droite) mais cela ne change pas réellement l'espace de travail. cependant, la modification à partir du menu de l'espace de travail fonctionne. Merci! à moins que vous ne soyez complètement contre github, vous pouvez utiliser des gists pour partager des hacks sales.Une autre option serait l' extension Workspaces to Dock .
Dans les configurations d'extension, définissez simplement la position du dock en haut ou en bas de l'écran et cochez la case "Utiliser la commutation horizontale lorsque le dock est positionné horizontalement".
la source