I'm clearly communicating poorly, so I'll try again:
The X11 focus, and the Mir focus, do *not* need to be the same.
In fact, a stronger claim holds: X11 focus and Mir focus *cannot* be the same unless we want to implement pieces of X11 window management in Mir.
This does not mean simply ignoring focus events; it means translating Mir focus semantics into X11 focus semantics.
I'm clearly communicating poorly, so I'll try again:
The X11 focus, and the Mir focus, do *not* need to be the same.
In fact, a stronger claim holds: X11 focus and Mir focus *cannot* be the same unless we want to implement pieces of X11 window management in Mir.
This does not mean simply ignoring focus events; it means translating Mir focus semantics into X11 focus semantics.