Vous n'êtes pas identifié(e).
Pages : 1
Drop down terminal est une extension gnome style guake terminal qui permet à l'aide d'un raccourci clavier L'extension se veux élégante et facile à installer pour les utilisateurs de gnome.
Lien https://extensions.gnome.org/extension/ … -terminal/
Les sources sont libres et sont disponible sur le github du projet: https://github.com/zzrough/gs-extension … n-terminal
Les utilisateurs de gnome apprécierons
Lien vidéo:
https://www.youtube.com/watch?v=oyPz_iapjbU
Utiliser des logiciels propriétaires, c'est comme les plats préparés, on est incapable de dire les conservateurs qu'ils contiennent, on dira toujours que c'est bon, mais ça ne remplacera jamais le repas fait maison par sa maman.
]:D #! Crunchbang & Archlinux GNU/Linux User ]:D
Hors ligne
J'utilise tilda pour ma part qui parvient a se montrer discret. Switchable via la touche F1 et on peut comme on le voit sur la capture gérer la taille, le positionnement et le niveau de transparence. Le défaut avec cette transparence c'est qu'on ne peut pas mettre une couleur et le transparent en même temps mais ca fait bien son travail.
Merci pour la découverte
Hors ligne
Pages : 1