search

bigbn / drop-down-terminal-x

Drop Down Terminal X extension for the Gnome Shell
https://extensions.gnome.org/extension/1509/drop-down-terminal-x/?c=38764
GNU General Public License v3.0
92 stars 9 forks source link

fixes the problem with gnome 3.38 #82

Closed Mathok closed 3 years ago

Mathok commented 3 years ago

fixes the problem with gnome 3.38 should work with 3.36 i don't know if older versions will work

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/669

Kerrung commented 3 years ago

Thank you!