I used to encounter this issue frequently on 18.10. However, I have not encountered it since I upgraded gnome-shell to 3.30.1-2ubuntu1.18.10.1 approximately five days ago.
I used to encounter this issue frequently on 18.10. However, I have not encountered it since I upgraded gnome-shell to 3.30.1- 2ubuntu1. 18.10.1 approximately five days ago.