[PATCH 0/3] MR7182: winex11: Keep track and use expected window focus time on WM_STATE changes.

[Rémi Bernon (＠rbernon)]

This is an attempt at improving X11 focus handling, and will most importantly be useful to later better handle dynamic window decoration changes on any mutter-based window manager. These window managers do a little dance in that case, unmapping/mapping the window every time decoration are added/removed, and we often get confused by the focus events it triggers.