not reproducable here. which window manager is used?
this is likely: https://bugs.freedesktop.org/show_bug.cgi?id=46687 (fixed in 3.5.3) or https://bugs.freedesktop.org/show_bug.cgi?id=50173 (fixed in 3.5.4)
not reproducable here. which window manager is used?
this is likely: /bugs.freedeskt op.org/ show_bug. cgi?id= 46687 (fixed in 3.5.3) /bugs.freedeskt op.org/ show_bug. cgi?id= 50173 (fixed in 3.5.4)
https:/
or
https:/