Now, if someone could ever fix that bug, I would be free of any annoyance in Ubuntu. :-)
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1724105
Let's hope for 18.04.
Now, if someone could ever fix that bug, I would be free of any annoyance in Ubuntu. :-)
https:/ /bugs.launchpad .net/ubuntu/ +source/ gnome-shell/ +bug/1724105
Let's hope for 18.04.