22 Oct
2014
22 Oct
'14
07:18
On Wed, 2014-10-22 at 09:08 +0200, jcsl wrote:
Hi.
El Martes, 21 de octubre de 2014 21:45:28 Roger Luedecke escribió:
Drop Down Terminal Gnome Extension
Good for you. I use LXDE, not GNOME.
There is 'guake' available, which is also a drop-down terminal. Maybe
this works for you.
And let's hope the tilda devs get the porting to Vte 2.91 done.
Dominique
--
Dimstar / Dominique Leuenberger