From ddf97ca4c4b6c50b01f1a34dcf986d5f7e026877 Mon Sep 17 00:00:00 2001
From: viliusle <www.viliusl@gmail.com>
Date: Sun, 8 Jan 2023 22:45:30 +0200
Subject: [PATCH] #333: dynamically change theme based on OS preferences
 (disabled)

---
 src/js/core/base-gui.js          |  2 +-
 src/js/modules/tools/settings.js | 15 ++++++++++++++-
 2 files changed, 15 insertions(+), 2 deletions(-)

diff --git a/src/js/core/base-gui.js b/src/js/core/base-gui.js
index 16a7218..aae7e05 100644
--- a/src/js/core/base-gui.js
+++ b/src/js/core/base-gui.js
@@ -479,7 +479,7 @@ class Base_gui_class {
 				theme_name = theme_cookie;
 			}
 			else {
-				theme_name = config.themes[0];
+				theme_name = this.Tools_settings.get_setting('theme');
 			}
 		}
 
diff --git a/src/js/modules/tools/settings.js b/src/js/modules/tools/settings.js
index 4019749..b43adb0 100644
--- a/src/js/modules/tools/settings.js
+++ b/src/js/modules/tools/settings.js
@@ -109,7 +109,7 @@ class Tools_settings_class {
 	 */
 	get_setting(key) {
 		var default_values = {
-			'theme': config.themes[0],
+			'theme': null,
 			'transparency': false,
 			'snap': true,
 			'guides': true,
@@ -129,6 +129,19 @@ class Tools_settings_class {
 			//not allowed
 			value = 1;
 		}
+		if(key == 'theme' && value == null) {
+			value = config.themes[0];
+			/*if (window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches
+				&& config.themes.includes('dark')) {
+				//dark mode
+				value = 'dark';
+			}
+			else if (window.matchMedia && window.matchMedia('(prefers-color-scheme: light)').matches
+				&& config.themes.includes('light')) {
+				//light mode
+				value = 'light';
+			}*/
+		}
 
 		//finalize values
 		if(value === 1){