...ok I have found how to solve it.
dconf-editor
/org/gnome/shell/disable-user-extensions <- false
It looks like that tweak tool has a bug...
...ok I have found how to solve it.
dconf-editor
/org/gnome/shell/disable-user-extensions <- false
It looks like that tweak tool has a bug...