No extensions available for gnome-tweak-tool.  Alpha??????????? :-)
--
All things are workable but don't all things work. Prov. 3:5 & 6