Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
gnomeExtensions.arc-menu: init at 31 #67964
Motivation for this change
This GNOME extension is often used alongside dash-to-panel, and much like appmenu requires a specific patch to work, making it more of a pain than others to add as an overlay.
Yeah, it is good to let someone else test it to reduce the chance that it is only working on your computer due to some thing installed globally. Unfortunately, the fact that environment variables are inherited by child processes makes the isolation hard.
I also like to click through the extension with
when it was enabled and
when it was disabled. Both should probably be reported upstream.