@Danny

> I will send you the patch for gnome-shell shortly.

Please find the attached patch for gnome-shell. Also I have attached
revised patches for mutter and gdm.

Regards,
RG.