On 2019-08-17 10:00 a.m., Steve Litt wrote:
> 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.
>
There is also QTerminal drop down as another possible option.

Clarke