Original poster here.
I switched to 19.04 (disco) in April, and I have never seen this bug again since (default window manager and everything).
Original poster here.
I switched to 19.04 (disco) in April, and I have never seen this bug again since (default window manager and everything).