diff --git a/tools/current-gtk-patches/gdk-noclipwithemptyregion3.patch b/tools/current-gtk-patches/gdk-noclipwithemptyregion3.patch new file mode 100644 index 0000000000..eb82c2b2f6 --- /dev/null +++ b/tools/current-gtk-patches/gdk-noclipwithemptyregion3.patch @@ -0,0 +1,14 @@ +--- a/gdk/quartz/gdkgc-quartz.c ++++ b/gdk/quartz/gdkgc-quartz.c +@@ -289,7 +289,10 @@ _gdk_windowing_gc_set_clip_region (GdkGC *gc, + private->have_clip_mask = FALSE; + } + +- private->have_clip_region = region != NULL; ++ if (region == NULL || gdk_region_empty (region)) ++ private->have_clip_region = FALSE; ++ else ++ private->have_clip_region = TRUE; + + if (reset_origin) + {