Hi,
I recently added the dash to dock gnome shell extension. After a while, I decided that I didn't really like it, so I disabled it. However the look of it hasn't changed. I tried uninstalling the extension and restarting my computer but nothing changed, what should i do?
(The first picture is...