A Gnome shell extension to change the top panel look

comparison of the top bar, before and after

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 […]