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é - coin

Extension 645 : Hi, Jack!

Modifie (en anglais "hijack" qui donne son nom à l'extension soit, littéralement, "détourne") le rôle de la zone sensible du bas de l'écran : le coin en bas à droite, et seulement le coin et non plus tout le bas, ouvre la barre de notifications tandis que le coin en bas à gauche,...

Lire la suite


Extension 631 : Apps and Wins

Modifie le comportement des coins supérieurs de l'écran : le coin en haut à gauche ouvre le mode exposition sur la liste des applications tandis que le coin en haut à droite ouvre le mode exposition sur la vue des fenêtres ouvertes. L'extension sur le site Gnome...

Lire la suite


Extension448.png

Extension 448 : Remove Rounded Corners

Enlève les coins arrondis sous le panneau principal, qui est présent dans certains thèmes (cf image ci-dessous). L'extension sur le site Gnome...

Lire la suite


Extension 415 : Disable Corners

Cette extension inhibe tous les coins sensibles (celui en haut à gauche et celui en bas à droite) ainsi que la barre de notification. L'extension sur le site Gnome...

Lire la suite


Extension 393 : Distraction-Free

Avec cette extension le panneau principal et la barre de notification ne sont visibles qu'en mode 'exposition' et le coin activant ce mode est désactivé (la touche <super> reste fonctionnelle). Tout l'espace du bureau est donc occupé par la ou les fenêtres actives. L'extension sur le site...

Lire la suite


Extension358.png

Extension 358 : Activities Configurator

Permet de configurer le bouton 'activités' c'est-à-dire : régler si le texte s'affiche et quel texte régler si une image s'affiche et quelle image inhiber éventuellement le coin sensible Les réglages se font dans les paramètres de l'extension accessibles par gnome-shell-extension-prefs. L'extension...

Lire la suite


Extension 309 : Hot-Corn-Dog

Permet de paramétrer l'emplacement du coin activant le mode 'exposition' et celui du coin montrant la pile des notifications. L'extension sur le site Gnome...

Lire la suite


Extension 238 : Disable Message Corner

Désactive le coin des notifications (en bas à droite) L'extension sur le site Gnome...

Lire la suite


Extension157.png

Extension 157 : Left/Middle-message-tray

Déplace la zone de stockage des notifications de la barre de notification à gauche (par défaut) ou au centre (en modifiant le fichier de l'extension) de l'écran. Le coin pour activer la barre est lui aussi déplacé. Pour choisir la position, éditer le fichier extension.js de l'extension (qu'on trouve...

Lire la suite


Extension 151 : Disable Hot Corners

Permet de désactiver la fonction 'exposition' du coin en haut à gauche et l'affichage de la barre de notification du coin en bas à droite. L'extension sur le site Gnome...

Lire la suite