ddterm GNOME Shell extension
Advanced@ddterm
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
views 0 projects
Apply Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively