Comment 11 for bug 968213

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

Work is now in progress in https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/109

Although I suggest my smaller proposal is safer for backporting: https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/90

Also more elegant. But I don't mind which fix lands. Just land something.