IceF0x

#! Gourou Linux

Drop down terminal

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

WarLocG

#! modo de compet

Re : Drop down terminal

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

---

Avant de poser vos questions, jeter un oeil ici
Mon CodeVault et Wiki : ici
Les messages privés envers le staff sont uniquement pour les cas d'urgence ou affaires privées (personnelles). Les demandes se feront exclusivement sur le forum. Merci de respecter cette clause sous peine de sanctions.