Done : https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1874217 Thanks for answering that fast !
Done : https:/ /bugs.launchpad .net/ubuntu/ +source/ gnome-shell/ +bug/1874217
Thanks for answering that fast !