
Notice: this is NOT the best way to achieve this. I have posted a much better way…
This is my first Gnome Shell extension… so that will not be a coding style gem, but it works for me and I think it’s quite useful, so…
The idea is to change the look […]