Hacks to work around gnome-shell popup-menu bug
-rw-r--r-- 697 PKGBUILD
-rw-r--r-- 1024 extension.js
-rw-r--r-- 215 metadata.json