Fil des billets
Fil des commentaires
Mot-clé - raccourci
Extension 176 : Web Search
26 juin 2012, 08:27
Ajoute dans le panneau principal un bouton pour accéder à une recherche sur internet dans le navigateur par défaut du système. L'extension sur le site Gnome...
Extension 175 : Battery Power Statistics Shortcut
26 juin 2012, 08:22
Ajoute un raccourci dans le menu 'alimentation' vers les statistiques de charge de la batterie. L'extension sur le site Gnome...
Extension 136 : Desktop Scroller (Original)
25 juin 2012, 21:50
Permet de naviguer entre les espaces de travail en plaçant sa souris sur le bord droit de l'écran et en utilisant la molette de la souris. Voir aussi Desktop Scroller (Left and Overview version). L'extension sur le site Gnome...
Extension 130 : Advanced Settings in UserMenu
25 juin 2012, 21:27
Ajoute au menu 'utilisateur' un raccourci vers Gnome Tweak Tool ('Advanced Settings'). Une extension équivalente permet d'afficher en plus des accès à plus de réglages sans prendre plus de place que celle-ci, tout en étant très paramétrable : Advanced Settings in UserMenu. Donc, sauf si vous ne...
Extension 72 : Recent Items
25 juin 2012, 19:04
Ajoute un menu dans le panneau principal pour accéder rapidement aux fichiers récemment ouverts. L'extension sur le site Gnome...
Extension 48 : Trash
25 juin 2012, 13:53
Ajoute dans le panneau principal, si la corbeille n'est pas vide, un menu permettant de la vider ou de s'y rendre dans le navigateur de fichiers. L'extension sur le site Gnome...
Derniers commentaires