Drop Down Terminal 1.0

Drop Down Terminal is a GNOME Shell extension that implements a drop-down, Quake-like terminal for the GNOME desktop environment.To install this extension you must have GNOME Shell installed or Cinnamon. However, keep in mind that it has not been...