@edschaeffer after installing an extension reload gnome by pressing ALt+F2 and type: r When reloaded you can enable or disable extensions using the gnome tweak tool. I will try to make an article about installing extensions on gnome 3 somewhere this week.
They are installed. I can't enable them through the tweak tool as your vid also says when you click on "theme" there's a problem. I think it's a bug.
edschaeffer 3 months ago
@edschaeffer after installing an extension reload gnome by pressing ALt+F2 and type: r When reloaded you can enable or disable extensions using the gnome tweak tool. I will try to make an article about installing extensions on gnome 3 somewhere this week.
pwnageP3t3 3 months ago
What happened to Shell extensions?? It's blank.
edschaeffer 3 months ago
@edschaeffer you need install them first and after that you can enable them.
pwnageP3t3 3 months ago