GitLab

I've started to create a shell extension to highlight widgets or regions in gnome-shell. The idea of the extension is to just provide a simple API to be used by custom distribution extensions or apps.

Here's the current extension source code: https://github.com/danigm/eos-tour-extension

Here you can find a demo video: tour-extension