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
298 stars 26 forks source link

Enable GNOME 46 support #808

Closed amezin closed 6 months ago

amezin commented 6 months ago

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

amezin commented 6 months ago

46.rc breaks notification api: https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3173