Comment 5 for bug 1847712

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

We should probably revert this because it needs refreshing to fix serious bugs:

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1070#note_749121

and after that it's exposed some kind of new bug in mutter:

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1070#note_749229