Hi all,
I know of three dropdown terminals: Guake, Tilda and Deepin Terminal.
Guake is getting more wedded to Gnome3 every day, so I decided to try
Tilda. It's very nice.
Like most FOSS, it's underdocumented, so I wrote the following
documentation for it:
http://troubleshooters.com/linux/tilda.htm
SteveT
Steve Litt
August 2019 featured book: Twenty Eight Tales of Troubleshooting
http://www.troubleshooters.com/28