Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 10/08/2020, à 17:55

SouffleVertueux

[Résolu] Raccourci dossier déroulant dans le dock

Bonjour à tous big_smile

Connaissez-vous un moyen de faire cela ? Ou quelque chose qui y ressemble ? (Ubuntu 20.04 ~ GNOME 3.36)

Raccourci dossier déroulant dans le dock

Ouvrir l'image en haute résolution

Y a-t-il un script, un tweak, une extension qui le fait ?
Serait-ce possible avec GNOME Shell Extensions ?

Merci beaucoup smile


Modération : merci d'utiliser des images de petite taille (300x300) ou des miniatures pointant sur ces images (Des hébergeurs comme Toile Libre ou TDCT'Pix le permettent).

Dernière modification par SouffleVertueux (Le 11/08/2020, à 18:17)

Hors ligne

#2 Le 11/08/2020, à 10:16

inbox

Re : [Résolu] Raccourci dossier déroulant dans le dock

Salut,

Ce n'est pas tout à fait ce que tu souhaites, mais l'extension Files menu fait le principal :

  • Icône dans la barre supérieure de l'écran

  • changement de dossier par clic

  • possibilité d'afficher et d'ouvrir les fichiers directement

Pour t'aider à installer des extensions Gnome, voir la documentation.

Tu peux aussi faire, toi même, une recherche sur le site des extensions Gnome.

A+


Un problème résolu ? Indiquez le en modifiant le titre du sujet.

Hors ligne

#3 Le 11/08/2020, à 11:24

SouffleVertueux

Re : [Résolu] Raccourci dossier déroulant dans le dock

Pas mal du tout !! Merci cool

Hors ligne

#4 Le 11/08/2020, à 13:35

inbox

Re : [Résolu] Raccourci dossier déroulant dans le dock

Si cela résout ton problème, pense à ajouter [Résolu] au titre de ton sujet.


Un problème résolu ? Indiquez le en modifiant le titre du sujet.

Hors ligne