<div dir="ltr"><div class="gmail_default" style="font-family:courier new,monospace">Apparently this bug went away after upgrading to gnome-shell 3.28.2-1.</div><div class="gmail_default" style="font-family:courier new,monospace">Might have been fixed upstream. It can be marked as fixed in that version.<br></div><div class="gmail_default" style="font-family:courier new,monospace"><br></div><div class="gmail_default" style="font-family:courier new,monospace">Thanks,<br></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature"><div dir="ltr">Matteo Settenvini<br>FSF Associated Member<br>Email : <a href="mailto:matteo@member.fsf.org" target="_blank">matteo@member.fsf.org</a><br></div></div></div>
<br></div></div>