Le Garage hermétique

Ce site est essentiellement consacré à Gnome Shell mais pas que.

Aller au contenu | Aller au menu | Aller à la recherche

Fil des billets    Fil des commentaires

Mot-clé - lanceurs

Extension588.png

Extension 588 : Taskbar

Ajoute au panneau principal à la fois les lanceurs présents dans vos favoris ainsi que des icônes pour les fenêtres actives, fenêtres regroupées par applications, avec miniatures au survol du pointeur. Ça fait donc une extension de plus de ce genre mais, de mon point de vue et à vue de nez, c'est la...

Lire la suite


Extension437.png

Extension 437 : MyLauncher

Ajoute au panneau principal (à droite) un menu personnalisable pouvant contenir des raccourcis vers des applications, des répertoires ou des actions comme recharger l'interface, etc. Un clic droit sur le menu permet d'accéder à la personnalisation (qui ne passe pas par gnome-shell-extension-prefs...

Lire la suite


Extension394.png

Extension 394 : Enhanced Dock for running Programs and with Preview

Développée par l'équipe de Linux Deepin à l'origine, avec quelques modifications, cette extension ajoute un dock servant aussi de liste de fenêtres actives sous forme d'icônes au panneau principal avec visualisation de ces fenêtres sous forme de miniatures. Attention cette extension fait aussi les...

Lire la suite


Extension265.png

Extension 265 : Deepin Enhanced Dock

Développée par l'équipe de Linux Deepin, cette extension ajoute un dock servant aussi de liste de fenêtres actives sous forme d'icônes au panneau principal avec visualisation de ces fenêtres sous forme de miniatures. Existe aussi pour Gnome 3.4 (Enhanced Dock for running Programs and with Preview)...

Lire la suite


Extension115.png

Extension 115 : Favorites Menu

Ajoute à droite du menu 'activités' un menu pour accéder à vos applications favorites (celles présentes dans le lanceur visible dans le mode 'exposition') sans passer par le mode 'exposition'. Pour ajouter ou enlever une entrée au menu, il faut ajouter ou enlever le lanceur des applications...

Lire la suite


Extension57.png

Extension 57 : WWWDOTORG Quick Launch

Ajoute au panneau principal, à gauche du menu 'activités' , des lanceurs pour les applications que vous avez choisies. Pour ajouter des lanceurs, rechercher les lanceurs de vos applications dans le répertoire /etc/share/applications/ et copiez-les dans le répertoire ~/.local/user/quicklaunch/...

Lire la suite


Extension 37 : QuickLaunch

Ajoute au panneau principal, à droite dans la zone de notification, un menu par lequel vous pouvez lancer les applications que vous avez choisies. Pour ajouter un raccourci à ce menu, chercher le raccourci de l'application dans /usr/share/applications/ et copier le dans ~/.local/user/apps. Vous...

Lire la suite


Extension33.png

Extension 33 : Jump List

Ajoute des entrées contextuelles au clic droit sur les icônes du lanceur, basées sur Zeitgeist (application qui enregistre votre activité, qui doit donc être installée), comme les documents récemment ouverts pour Libreoffice, les sites récemment visités pour votre navigateur, etc. Cette extension ne...

Lire la suite


Extension17.png

Extension 17 : Dock

Affiche un dock qui reprend les applications favorites plus celles en cours d'utilisation. Des paramètres sont disponibles. Si vous choisissez l'installation par le site Gnome, il vous faut modifier le fichier .js de l'extension, situé dans le répertoire ~/.local/share/gnome-shell/extensions/ de...

Lire la suite


Extension4.png

Extension 4 : Frippery Panel Favorites

Mis à jour le 16 novembre 2012. Ajoute à droite du menu 'activités' des lanceurs correspondants à vos applications favorites (celles présentes dans le lanceur visible dans le mode 'exposition'). Pour ajouter ou enlever un de ces lanceurs, il faut ajouter ou enlever le lanceur des favoris. La version...

Lire la suite