Apparently this bug went away after upgrading to gnome-shell 3.28.2-1.
Might have been fixed upstream. It can be marked as fixed in that version.

Thanks,

Matteo Settenvini
FSF Associated Member
Email : [email protected]

Reply via email to