It sounds like the resolution for bug 1801071 has resolved this. It also sounds like marco is the only window manager that would have been affected.
It sounds like the resolution for bug 1801071 has resolved this. It also sounds like marco is the only window manager that would have been affected.