Browsing tag: drop-down terminal  

Guake 0.7.2

A drop-down terminal emulator designed to work with multiple desktop environments

Jun 12th 2015, 06:19 GMT

Drop Down Terminal

A Quake-like terminal for GNOME Shell

Dec 26th 2012, 21:08 GMT