show-app-menu-on-key-press
2021-04-10 James Buntongnome-shell 40 compatibility master
2020-10-09 James BuntonCompatibility with Gnome 3.38
2020-05-06 James BuntonHacks to work around gnome-shell popup-menu bug
2020-01-31 James BuntonInitial commit