Let’s start with some code: You may have seen this code before. It’s the example extension that’s created when you use gnome-shell-extension-tool –create-extension. We’ll come back to this piece of code at the end of the article.