From d901a68eaa9238bc1ed2ce26a2b1b18a9899b74e Mon Sep 17 00:00:00 2001 From: Romain Vigier Date: Wed, 16 Oct 2019 17:29:49 +0200 Subject: [PATCH] Don't change the theme on theme change if it's the same theme --- src/extension.js | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/extension.js b/src/extension.js index e282912..f5f8a5f 100644 --- a/src/extension.js +++ b/src/extension.js @@ -97,9 +97,11 @@ function enable() { proxy_connect_id = proxy.connect('g-properties-changed', _apply_theme_variant); _apply_theme_variant(); - // Listen to theme change + // Listen to theme change, don't change if this is the same theme interface_settings_connect_id = interface_settings.connect('changed::gtk-theme', () => { - original_user_theme = _get_theme(); + const new_theme = _get_theme(); + if ( new_theme === user_theme_day || new_theme === user_theme_night ) return; + original_user_theme = new_theme; _build_theme_variants(); _apply_theme_variant(); });