Florian Müllner 05c4db4372 extensions-app: Add shortcuts window ...

There aren't many shortcuts and all of them are standard, but
documenting them is still good practice, and our main menu is
a tad bit less empty.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3051>

2023-12-21 15:06:11 +00:00

..

extension-row.ui

extensions-app: Enable/disable an extension by activating the row

2022-02-12 14:51:30 +00:00

extensions-window.ui

extensions-app: Add shortcuts window

2023-12-21 15:06:11 +00:00

help-overlay.ui

extensions-app: Add shortcuts window

2023-12-21 15:06:11 +00:00