Hello, It seems that your website does not include the last version of the gnome Drop down terminal. It crashes everytime with gnome 3.22.
The author added a fix on his github: https://github.com/zzrough/gs-extensions-drop-down-terminal It's one of my favourite tool of gnome so is it possible to update the version on the website to be fully compatible with gnome 3.22? Thanks Gilles
_______________________________________________ gnome-web-list mailing list gnome-web-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-web-list
