Update for GNOME 3.32?

[mon0theist]

I've had to use a manually downgraded version of this extension for a while, which still seems to be working in GNOME 3.32, but just posting this so the dev is aware that 3.32 is out and may cause breakage

[kill0rz]

@mon0theist How did you manage to get a downgraded version to work in GNOME 3.32? Could you please share this information with us? THX!

[mon0theist]

@kill0rz look through the Gnome Extensions page comments, the fix posted by Wurstinator, bitpolis, and abdulhakeem

https://extensions.gnome.org/extension/442/drop-down-terminal/

[kill0rz]

@mon0theist You saved my life!

tl;dr

1. goto ~/.local/share/gnome-shell/extensions/[email protected]
2. find gnome version via gnome-shell --version
3. edit metadata.json, add your gnome version to the list
4. save, press alt + f2 and type r to restart gnome
5. that's it! =)