gnome-shell-extension-ddterm
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
JavaScript★ 449
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
search projects, people, and tags