Under Xorg, some doc popover are not dismissed when leaving the view because the GdkWindow of the leave event is not the widget window as under Wayland.
We now compare the event window with sub-windows of the widget, that is the text and gutter ones.