Work around double buffering issue in wx master

See https://github.com/wxWidgets/wxWidgets/issues/23585 .
This patch reverts commit fb4f0b590c42a66263debf926617c00b157c9a in
wxWidgets.

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
+ 
+ 
+ // ----------------------------------------------------------------------------
+ 

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