On Sat, Jan 11, 2020 at 6:37 PM Pieter van Oostrum
<pieter-l@vanoostrum.org> wrote:
> I compiled HEAD with this patch applied, and it still crashed but with the other crash cause (in Fmouse_pixel_position).

Do you have a backtrace? I think it's a NULL pointer reference now.
The attached patch might help.