From 558150c112c656108e51c2fb7bdee944fcfcecab Mon Sep 17 00:00:00 2001 From: Adam Wolf Date: Tue, 31 Oct 2017 21:28:49 -0500 Subject: [PATCH] Added patch for wxwidgets for macOS High Sierra (10.13) --- patches/wxwidgets-3.0.2_macosx_high_sierra.patch | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 patches/wxwidgets-3.0.2_macosx_high_sierra.patch diff --git a/patches/wxwidgets-3.0.2_macosx_high_sierra.patch b/patches/wxwidgets-3.0.2_macosx_high_sierra.patch new file mode 100644 index 0000000000..134fccc020 --- /dev/null +++ b/patches/wxwidgets-3.0.2_macosx_high_sierra.patch @@ -0,0 +1,9 @@ +--- src/stc/scintilla/src/Editor.cxx.orig 2014-10-06 21:33:44 UTC ++++ src/stc/scintilla/src/Editor.cxx +@@ -16,6 +16,7 @@ + #include + #include + #include ++#include + + #include "Platform.h"