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.6

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


Extension704.png

Extension 704 : All Windows

Ajoute au panneau principal un bouton permettant d'afficher la liste des fenêtres ouvertes de tous les espaces de travail et permettant d'y accéder d'un simple clic. 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


Extension 676 : Wanda The Fish

Ajoute dans le panneau principal un bouton permettant de lancer une prédiction/masquer la dernière prédiction de l'Oracle Wanda (si le message 'Désolé, aucune sagesse pour vous aujourd'hui' s'affiche, vérifiez que fortune-mod est bien installé). Complètement inutile donc indispensable. L'extension...

Lire la suite


Extension674.png

Extension 674 : YAWL

YAWL signifie Yet Another Windows List (encore une autre liste des applications) et propose donc d'ajouter à l'interface une liste des fenêtres actives. Cette liste est sous forme d'icônes des applications dans le panneau principal, avec miniature de la fenêtre visible au survol du pointeur....

Lire la suite


Extension669.png

Extension 669 : Wobbly Windows

Rend les fenêtres molles (ou vacillantes) durant leur déplacement. L'idée est intéressante mais le déplacement des fenêtres, chez moi, devient alors très long, le temps qu'elles se 'reconstituent' après leur déplacement, l'affichage est assez buggé pendant le déplacement et l'extension ne fonctionne...

Lire la suite


Extension662.png

Extension 662 : Shutdown Timer

Ajoute dans le panneau principal un bouton permettant de régler un compte à rebours pour l'extinction automatique de l'ordinateur. L'extension sur le site Gnome...

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


Extension657.png

Extension 657 : ShellTile

Cette extension ajoute des fonctions de tile à l'interface. En plaçant une fenêtre une autre et en utilisant la touche CTRL, les fenêtres se lient et se partagent l'écran, se minimisent, se redimensionnent, se restaurent et changent d'espace de travail ensemble. Pour annuler le lien, il suffit de...

Lire la suite


Extension 656 : RC Script for Gnome Shell

Exécute ~/.gnomeshellrc.js au démarrage de Gnome Shell. Ça ne vous dit rien ? À moi non plus. Après avoir questionné son auteur, je peux vous en dire plus : le fichier en question est un script pouvant être personnalisé à l'envie par ceux qui s'y connaissent et qui se lancera au démarrage de Gnome...

Lire la suite