show-app-menu-on-key-press
2020-05-06 James BuntonHacks to work around gnome-shell popup-menu bug master
2020-01-31 James BuntonInitial commit