I verified this bug on bionic. After upgrade gnome-shell and mutter to 3.28.4-0ubuntu18.04.1, the video switch experience is better than original.
I verified this bug on bionic. 0ubuntu18. 04.1, the video switch experience is better than original.
After upgrade gnome-shell and mutter to 3.28.4-