From e5c325364285b1e6e93afa2a0a79b1ec437f238e Mon Sep 17 00:00:00 2001
From: Michael Lutz <michi@icosahedron.de>
Date: Thu, 7 Jan 2021 22:09:43 +0100
Subject: Add: [OSX] Setting to disable HiDPI graphics rendering.

---
 src/table/misc_settings.ini | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'src/table')

diff --git a/src/table/misc_settings.ini b/src/table/misc_settings.ini
index d46ebe9bb..edc779caf 100644
--- a/src/table/misc_settings.ini
+++ b/src/table/misc_settings.ini
@@ -9,6 +9,10 @@ extern std::string _config_language_file;
 
 static const char *_support8bppmodes = "no|system|hardware";
 
+#ifdef WITH_COCOA
+extern bool _allow_hidpi_window;
+#endif
+
 static const SettingDescGlobVarList _misc_settings[] = {
 [post-amble]
 };
@@ -317,5 +321,11 @@ min      = ZOOM_LVL_MIN
 max      = ZOOM_LVL_OUT_4X
 cat      = SC_BASIC
 
+[SDTG_BOOL]
+ifdef    = WITH_COCOA
+name     = ""allow_hidpi""
+var      = _allow_hidpi_window
+def      = true
+
 [SDTG_END]
 
-- 
cgit v1.2.3-70-g09d2