On Sat, Dec 05, 2020 at 01:16:29AM +0100, Christian Weisgerber wrote:
> Stefan Sperling:
> 
> > Any chance we could get the focus_view diff in first? That would help me.
> 
> By all means, go ahead.  I looked through it, but didn't feel
> confident I could actually spot mistakes in there, which is my usual
> guideline for sending off ok's.

Thanks. I have put it in now. I've done as much testing of focus switching
as I could.  Of course, if anything looks off, please let me know.