diff --git a/subprojects/packagefiles/wxWidgets-master/0001.patch b/subprojects/packagefiles/wxWidgets-master/0001.patch new file mode 100644 index 000000000..45ceeef14 --- /dev/null +++ b/subprojects/packagefiles/wxWidgets-master/0001.patch @@ -0,0 +1,21 @@ +diff --git a/include/wx/dcbuffer.h b/include/wx/dcbuffer.h +index b47045bca1..435a501546 100644 +--- a/include/wx/dcbuffer.h ++++ b/include/wx/dcbuffer.h +@@ -15,8 +15,13 @@ + #include "wx/dcclient.h" + #include "wx/window.h" + +-// All current ports use double buffering. +-#define wxALWAYS_NATIVE_DOUBLE_BUFFER 1 ++// Split platforms into two groups - those which have well-working ++// double-buffering by default, and those which do not. ++#if defined(__WXMAC__) || defined(__WXGTK20__) || defined(__WXDFB__) || defined(__WXQT__) ++ #define wxALWAYS_NATIVE_DOUBLE_BUFFER 1 ++#else ++ #define wxALWAYS_NATIVE_DOUBLE_BUFFER 0 ++#endif + + + // ---------------------------------------------------------------------------- + \ No newline at end of file diff --git a/subprojects/wxWidgets-master.wrap b/subprojects/wxWidgets-master.wrap index bbde46e78..a8bd19b39 100644 --- a/subprojects/wxWidgets-master.wrap +++ b/subprojects/wxWidgets-master.wrap @@ -4,3 +4,4 @@ url = https://github.com/wxWidgets/wxWidgets.git revision = master clone-recursive = true depth = 1 +diff_files = wxWidgets-master/0001.patch