https://github.com/ddterm/gnome-shell-extension-ddterm

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

dropdown-terminal gnome gnome-shell gnome-shell-extension terminal terminal-app terminal-emulator vte wayland

Last synced: 25 Nov 2024