Quick custom menu for launching your favorite applications
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
Fixing startup when $HOME/.entries.json file does not exists, see github examples for your custom configuration
That json file can be saved inside gsettings. If you need any help with that, you can ask us on https://matrix.to/#/#extensions:gnome.org