Doesn't that work-around only apply to Wayland, while the default GNOME3 desktop in Ubuntu 18.04 is Xorg?
Doesn't that work-around only apply to Wayland, while the default GNOME3 desktop in Ubuntu 18.04 is Xorg?