Le Garage hermétique

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

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

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

Les commentaires sont fermés


aucune annexe



À voir également

Extension601.png

Extension 601 : Static workspaces

Désactive la gestion dynamique des espaces de travail : si l'extension est activée, ils sont au...

Lire la suite

Extension 561 : Desktop Scroller (All sides, for GNOME 3.6/3.8)

Cette extension compile et complète les extensions Desktop Scroller (Left, Right). Elle permet...

Lire la suite