app: Add back help overlay

mjakeman / extension-manager

A utility for browsing and installing GNOME Shell Extensions.

https://mattjakeman.com/apps/extension-manager

GNU General Public License v3.0

1k stars 80 forks source link

Closed oscfdezdz closed 2 months ago

oscfdezdz commented 3 months ago

~Includes #568~

Close #639

oscfdezdz commented 2 months ago

After combining the ones we had, the ones proposed in #639 and seeing what is common for the rest of the apps, this is ready to land!