ddterm GNOME Shell extension

ddterm GNOME Shell extension

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively

Pinned Repositories

ddterm GNOME Shell extension's Repositories