gl: Only trigger widget enter events if they were not previously hot.

diff --git a/platform/gl/gl-form.c b/platform/gl/gl-form.c
index 46877fa2d3170935a67d886ee50a71de46d0591a..00c0d868519190fdf77dc1253101030b7d00672c 100644 (file)
--- a/platform/gl/gl-form.c
+++ b/platform/gl/gl-form.c
@@ -594,7 +594,7 @@ void do_widget_canvas(fz_irect canvas_area)
 
                if (ui_mouse_inside(canvas_area) && ui_mouse_inside(area))
                {
-                       if (pdf_annot_hot(ctx, widget))
+                       if (!pdf_annot_hot(ctx, widget))
                        {
                                trace_action("page.getWidgets()[%d].eventEnter();\n", idx);
                                pdf_annot_event_enter(ctx, widget);