since I had to do a fresh install of antergos about 2 weeks ago some time later this option has disapperared. It means I am stuck with the zukitwo window borders (which could be worse cause it fits the adwaita gtk theme). nonetheless, it annoys me. I tried to disable all of my extensions, even the user themes one, but it stays like that. I can start gnome tweak tool as su from the terminal and can see the option there but actually I can’t change any theme there.
Anyone got ideas on how to fix that?
p.s.: tried removing gnome tweak tool via sudo pacman -Rns and then reinstall it but no change
p.p.s.: i can still change themes through dconf-editor