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é - Gnome 3.4

Extension711.png

Extension 711 : Dexi Applications Menu

Cette extension est une modification de l'extension Gno-Menu avec, d'après son auteur, des améliorations et des bugs résolus. L'extension sur le site Gnome...

Lire la suite


Extension 701 : Top Panel Workspace Scroll

Permet de changer d'espace de travail en utilisant la molette de la souris si le pointeur est positionné sur le panneau principal. Très bonne idée, sauf qu'on ne peut alors plus utiliser la molette pour régler le son en survolant le bouton son. L'extension sur le site Gnome...

Lire la suite


Installed_Extensions_-_GS3.8_-130507.png

Extensions installées : mai 2013

Gnome 3.8 (Ubuntu 13.04 + dépôt Gnome 3 Team) : Gnome 3.6 : N'est plus disponible sur mes ordinateurs Gnome 3.4 (Ubuntu 12.04 LTS) :...

Lire la suite


Extension658.png

Extension 658 : Overview On Startup

Plutôt que de démarrer sur le bureau vide, avec cette extension Gnome Shell démarre par défaut sur la vue des applications du mode exposition, avec possibilité dans les options de démarrer sur la vue des fenêtres actives du mode exposition. À terme l'extension devrait aussi permettre de lancer...

Lire la suite


Installed_Extensions_-_GS3.8-130412.jpg

Extensions installées : avril 2013

Gnome 3.8 (Ubuntu 13.04) : Gnome 3.6 (Ubuntu 12.10) : Gnome 3.4 (Ubuntu 12.04) :...

Lire la suite


Extension647.png

Extension 647 : Icon Area Horizontal Spacing

Réduit l'espace entre les boutons dans la zone de gauche du panneau principal, soit l'équivalent de l'extension Status Area Horizontal Spacing, qui fait la même chose mais pour la zone de droite. L'extension sur le site Gnome...

Lire la suite


Extension 644 : Keyboard Navigator

Permet de sélectionner les fenêtres dans le mode exposition avec les flèches droite/gauche puis la touche <Entrée>. L'extension sur le site Gnome...

Lire la suite


Extension643.png

Extension 643 : IdleRPG

Ajoute dans le panneau principal un bouton permettant d'afficher les caractéristiques de votre personnage sur IdleRPG (jeu de rôle pour IRC). L'extension sur le site Gnome...

Lire la suite


Extension623.png

Extension 623 : Android Virtual Devices Search Provider

Étend le champ de recherche aux périphériques Android éventuellement connectés, si j'ai bien compris. L'extension sur le site Gnome...

Lire la suite


Extension620.png

Extension 620 : Startup Applications

Ajoute au menu utilisateur un item permettant de lancer l'interface permettant de gérer les applications se lançant au démarrage du système. PS : Ne s'installe pas sous Gnome 3.6 chez moi L'extension sur le site Gnome...

Lire la suite