also found with the gnome tool: https://bugs.launchpad.net/ubuntu/+source/gnome-tweak-tool/+bug/1123372
also found with the gnome tool: /bugs.launchpad .net/ubuntu/ +source/ gnome-tweak- tool/+bug/ 1123372
https:/