On Mon, 3 Oct 2016, at 03:11 AM, Joseph Herlant wrote: > Thanks for your report Joel, > > Weird I didn't notice that earlier. Also weird gnome-tweak-tools don't > follow the changes made in gnome itself to not care about the versions > anymore. > I'm pushing the latest version fixing that tonight to mentors. > It should be good soon.
Update: Since upgrading to GNOME Shell 3.22, the extension is working as expected.
