Enable high-DPI rendering on Windows.

diff --git a/src/wx/wscript b/src/wx/wscript
index ad343cede428ca338ddc887d95f1aaca24e07e29..b84ba777f2e731938930ae72cb81d38af70af434 100644 (file)
--- a/src/wx/wscript
+++ b/src/wx/wscript
@@ -218,6 +218,7 @@ def configure(conf):
         conf.env.append_value('CXXFLAGS', ['-DGL_GLEXT_PROTOTYPES', '-DGLX_GLXEXT_PROTOTYPES'])
     if conf.env.TARGET_WINDOWS_64 or conf.env.TARGET_WINDOWS_32:
         conf.env.append_value('CXXFLAGS', ['-DWGL_WGLEXT_PROTOTYPES'])
+        conf.env.append_value('WINRCFLAGS', ['-DwxUSE_DPI_AWARE_MANIFEST=2'])
 
     if conf.options.static_wxwidgets:
         # wx-config returns its static libraries as full paths, without -l prefixes, which confuses