<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">--- app/widgets/gimpwidgets-utils.c.orig	2018-10-28 11:17:29.000000000 -0700
+++ app/widgets/gimpwidgets-utils.c	2018-10-28 11:18:47.000000000 -0700
@@ -31,6 +31,9 @@
 
 #ifdef GDK_WINDOWING_X11
 #include &lt;gdk/gdkx.h&gt;
+#ifdef PLATFORM_OSX
+#undef PLATFORM_OSX
+#endif
 #endif
 
 #ifdef PLATFORM_OSX
</pre></body></html>