wastee / gnome-shell-extension-ddterm Goto Github PK
View Code? Open in Web Editor NEWThis project forked from amm1rr/gnome-shell-extension-ddterm
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
Home Page: https://extensions.gnome.org/extension/3780/ddterm/
License: GNU General Public License v3.0