Fil des billets
Fil des commentaires
Terminal
Extension 692 : Guake Tabs Indicator
15 juillet 2013, 07:20
Affiche les sessions ouvertes du terminal Guake sous forme d'onglets, si j'ai bien compris, dans le panneau principal. Nécessite la version de développement de Guake et fonctione mieux si l'on supprime l'horloge. L'extension sur le site Gnome...
Extension 609 : Terminal icon
20 février 2013, 09:14
D'après sa description, ajoute un bouton au panneau principal pour afficher ou masquer la dernière fenêtre de terminal ouverte ainsi qu'un raccourci clavier (<super>+T) pour faire de même. Cependant elle ne s'installe pas, chez moi, ni sous Gnome 3.4, ni sous Gnome 3.6. L'extension sur le site...
Extension 442 : Drop Down Terminal
05 septembre 2012, 10:27
Permet d'afficher un terminal à la façon de Guake (un terminal résidant qui s'affiche comme surgissant depuis le haut de l'écran) en utilisant un raccourci clavier. L'extension sur le site Gnome...
Extension 431 : One-Click-Terminal
25 août 2012, 08:49
Ajoute un raccourci dans le panneau principal permettant de lancer une fenêtre de terminal, soit exactement la même chose que l'extension Terminal. L'extension sur le site Gnome...
Extension 380 : Guake Toggle
16 juillet 2012, 00:15
Ajoute un bouton au panneau principal permettant d'afficher Guake (un terminal résidant qui s'affiche comme surgissant depuis le haut de l'écran), qui doit donc être installé et lancé. L'extension sur le site Gnome...
Extension 262 : Terminal
28 juin 2012, 23:51
Ajoute au panneau principal un bouton pour lancer une fenêtre de terminal. L'extension sur le site Gnome...
Derniers commentaires