Pages : 1
#1 Le 23/01/2017, à 14: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.
Ubuntu 25.04
Hors ligne
#2 Le 24/01/2017, à 04: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.3 - XPS 13 9380 - BIOS version: 1.9.1
Mes aventures de néo-linuxien: http://www.davduf.net/+-linux-ubuntu-+
Hors ligne
Pages : 1