search

ddterm / gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
https://extensions.gnome.org/extension/3780/ddterm/
GNU General Public License v3.0
289 stars 26 forks source link

Drop GNOME 40-42 support #913

Closed amezin closed 2 months ago

amezin commented 2 months ago

No Gtk 4 version of Vte is available there

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