Pull Request: Add autohidetopbar extension
https://gitlab.com/sdwolfz/manjaro-gnome-shell-extension/-/compare/master...autohidetopbar
I've added the autohidetopbar extension as I find it useful but can't find it in the packages
Please pull the code from my autohidetopbar
branch above if you're interested to add it.