show your thing

curated by dorkhub from public github data · not yet claimedis this you?

ddterm

@ddterm

1 project

gnome-shell-extension-ddterm

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

JavaScript★ 449

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