Comment 3 for bug 223257

After thinking about it a bit I'm inclined to classify this as a side effect of the setting. But I really don't know if we should try and fix it per se as my preferences is to let the Window Manager manage this type of things when possible. My concern if we try and fix this is that it may get resolved for one window manager but the "fix" may cause issues in another.

If there's an simple, low impact, fix available I'd be inclined to say we should do it otherwise I'm leaning to leave it be for now. I'll try and take a quick look today. Anyway, I'm still thinking about it but those tend to be my thoughts at this time.