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é - extension officielle

Extension602.png

Extension 602 : Window List

Ajoute un panneau secondaire en bas de l'écran intégrant une liste des fenêtres actives, à la façon de Gnome Panel. Dans les paramètres de l'extension il est possible de regrouper les fenêtres d'une même application. L'extension sur le site Gnome...

Lire la suite


Extension601.png

Extension 601 : Static workspaces

Désactive la gestion dynamique des espaces de travail : si l'extension est activée, ils sont au nombre de quatre. L'extension sur le site Gnome...

Lire la suite


Extension 600 : Launch new instance

Quand cette extension est activée, un clic sur le lanceur ou sur l'icône de l'application dans la liste des applications permet d'ouvrir une nouvelle fenêtre de l'application en question plutôt que de donner le focus à une fenêtre déjà ouverte. L'extension sur le site Gnome...

Lire la suite


Extension 599 : Default Minimize and Maximize

Ajoute les boutons 'minimiser' et 'maximiser' aux boutons des fenêtres, chose que permettait Gnome Tweak Tool, mais là c'est par le biais d'une extension. L'extension sur le site Gnome...

Lire la suite


Extension : Gajim IM integration

Intègre les notification de l'application de messagerie instantanée Gajim dans l'interface (avec possibilité de répondre aux messages depuis les notifications). L'extension sur le site Webupd8...

Lire la suite


Extension 21 : Workspace Indicator

Ajoute dans le panneau principal, à droite dans la zone de notification, un indicateur de l'espace de travail en cours et offre la possibilité de passer à un autre espace, soit en utilisant le menu qu'il propose, soit en utilisant la molette de la souris sur l'indicateur. L'extension sur le site...

Lire la suite


Extension 19 : User Themes

Permet de charger les thèmes d'interface directement depuis le répertoire de l'utilisateur (depuis ~/.themes) et ils sont alors accessibles dans Gnome Tweak Tools, sinon seuls les thèmes installés depuis un dépôt sont disponibles. Cette extension existe en plusieurs versions et vous devez absolument...

Lire la suite


Extension18a.png

Extension 18 : Native Window Placement

Organise l'affichage des fenêtres actives du mode 'exposition' d'une manière plus compacte et moins monotone. Sans Native Window Placement l'affichage en mode exposition est de ce type : Avec il est de ce type : L'extension sur le site Gnome|L'extension dans le dépôt Webupd8...

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


Extension16a.png

Extension 16 : Auto Move Windows

Permet assigner à chaque application un espace de travail (bureau virtuel) par défaut dans lequel s'ouvrira chaque nouvelle fenêtre de cette application. Par exemple, vous pouvez décider que gmusicbrowser s'ouvrira systématiquement dans l'espace de travail 2. Le réglage avant Gnome 3.4 se faisait...

Lire la suite