Contenu | Rechercher | Menus

Annonce

L'équipe des administrateurs et modérateurs du forum vous invite à prendre connaissance des nouvelles règles.
En cas de besoin, vous pouvez intervenir dans cette discussion.

Ubuntu 18.04 LTS
Ubuntu-fr propose des clés USB de Ubuntu et toutes ses « saveurs » ainsi qu'un magnifique t-shirt pour cette toute nouvelle version d'Ubuntu !

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 23/01/2017, à 15:12

ft

Dash to Panel : votre dash dans la barre des tâches

https://extensions.gnome.org/extension/ … -to-panel/

C'est une extension jeune mais très aboutie. Elle ressemble à Taskbar mais avec une intégration plus complète à Gnome (création des favoris, ordre modifiable, etc.). Je n'obtiens quasiment pas d'erreurs issues de cette extension, elle ne fait pas planter GS en tout cas.


Dell Precision 7510, Ubuntu Gnome 18.04

Hors ligne

#2 Le 24/01/2017, à 05:37

Davduf

Re : Dash to Panel : votre dash dans la barre des tâches

Oh, oui... super bien fait!
Merci pour la suggestion!


Ubuntu 18.04-  Gnome 3.28 - XPS 13 9360 - BIOS version: 2.5.0
Mes aventures de néo-linuxien: http://www.davduf.net/+-linux-ubuntu-+

Hors ligne