the gnome tool also have that issue
https://bugs.launchpad.net/ubuntu/+source/gnome-tweak-tool/+bug/1123372
the gnome tool also have that issue
https:/ /bugs.launchpad .net/ubuntu/ +source/ gnome-tweak- tool/+bug/ 1123372