From 5c200d7577cea405a6ba73731c2f75a8d12f2982 Mon Sep 17 00:00:00 2001
From: Philipp Unger <philipp.unger.1988@gmail.com>
Date: Sat, 9 Apr 2022 18:03:32 +0200
Subject: [PATCH] fix sensitive change of grid_dot_color_unfocused

---
 prefs.js            | 1 +
 ui/BoxDotOptions.ui | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/prefs.js b/prefs.js
index 74f743f..c2dc453 100644
--- a/prefs.js
+++ b/prefs.js
@@ -836,6 +836,7 @@ const Preferences = class {
             });
             this._builder.get_object('dot_color_override_switch').connect('state-set', (widget) => {
                 if (widget.get_active()) this._settings.set_boolean('dot-color-dominant', false);
+                else if (this._window) this._settings.set_boolean('dot-color-unfocused-different', false);
             });
 
             this._settings.bind('dot-color-unfocused-different',
diff --git a/ui/BoxDotOptions.ui b/ui/BoxDotOptions.ui
index 6ca19c4..18c81ec 100644
--- a/ui/BoxDotOptions.ui
+++ b/ui/BoxDotOptions.ui
@@ -207,7 +207,6 @@
           </object>
         </child>
 
-        <!-- TODO sensitivity of this group has to be connected to dot_color_override_switch -->
         <child>
           <object class="AdwPreferencesGroup" id="grid_dot_color_unfocused">