Fil des billets
Fil des commentaires
Mot-clé - Gnome 3.4
Extension 711 : Dexi Applications Menu
25 août 2013, 11:52
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...
Extension 701 : Top Panel Workspace Scroll
16 juillet 2013, 17:50
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...
Extensions installées : mai 2013
07 mai 2013, 10:57
Gnome 3.8 (Ubuntu 13.04 + dépôt Gnome 3 Team) : Gnome 3.6 : N'est plus disponible sur mes ordinateurs Gnome 3.4 (Ubuntu 12.04 LTS) :...
Extension 658 : Overview On Startup
26 avril 2013, 11:20
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...
Extensions installées : avril 2013
12 avril 2013, 17:29
Gnome 3.8 (Ubuntu 13.04) : Gnome 3.6 (Ubuntu 12.10) : Gnome 3.4 (Ubuntu 12.04) :...
Extension 647 : Icon Area Horizontal Spacing
12 avril 2013, 17:05
Réduit l'espace entre les boutons dans la zone de gauche du panneau principal, soit l'équivalent de l'extension Status Area Horizontal Spacing, qui fait la même chose mais pour la zone de droite. L'extension sur le site Gnome...
Extension 644 : Keyboard Navigator
12 avril 2013, 17:01
Permet de sélectionner les fenêtres dans le mode exposition avec les flèches droite/gauche puis la touche <Entrée>. L'extension sur le site Gnome...
Extension 643 : IdleRPG
12 avril 2013, 17:00
Ajoute dans le panneau principal un bouton permettant d'afficher les caractéristiques de votre personnage sur IdleRPG (jeu de rôle pour IRC). L'extension sur le site Gnome...
Extension 623 : Android Virtual Devices Search Provider
23 mars 2013, 21:41
Étend le champ de recherche aux périphériques Android éventuellement connectés, si j'ai bien compris. L'extension sur le site Gnome...
Extension 620 : Startup Applications
13 mars 2013, 08:13
Ajoute au menu utilisateur un item permettant de lancer l'interface permettant de gérer les applications se lançant au démarrage du système. PS : Ne s'installe pas sous Gnome 3.6 chez moi L'extension sur le site Gnome...
Vos réactions
Major Grubert a écrit:
En fait depuis le passage à Gnome 3.6, je n'ai jamais réussi à voir ce que cette extension donnait....
Voir l'article
DracoRPG a écrit:
Malheureusement cette extension n'est pas compatible avec l'incontournable Dash to Dock :( Draco...
Voir l'article
Major Grubert a écrit:
Essaye ça : Avec Nautilus, va dans le répertoire ~/.local/share/Applications. Crée, là, avec gedit ou autre, un fichier...
Voir l'article