My Fave Drop Down Terminal Now Supports Ubuntu 23.04

animated GIF showing the ddterm drop-down terminal extension for GNOME Shell in action

Related Keywords

,Shell ,Extensions Manager ,