cocoa: option to scale window by HiDPI scale factor

Deactivating this options makes it possible to
circumvent the default OS X behavior of using
points. Windows on HiDPI resolutions won't open
in double the size anymore and videos are display
in their native resolution when windowed.

Fixes #3716

1 files changed, 1 insertions, 0 deletions

diff --git a/options/options.h b/options/options.h
index 160223d3e1..4ddf9d1490 100644
--- a/options/options.h
+++ b/options/options.h
@@ -38,6 +38,7 @@ typedef struct mp_vo_opts {
 
     int keepaspect;
     int keepaspect_window;
+    int hidpi_window_scale;
 
     int64_t WinID;