From ce98e1d40d4813181233ac03dd89b69fd62fd32f Mon Sep 17 00:00:00 2001 From: Romain Vigier Date: Sat, 11 Apr 2020 12:03:00 +0200 Subject: [PATCH] Improve debug output --- src/modules/Themer.js | 1 + 1 file changed, 1 insertion(+) diff --git a/src/modules/Themer.js b/src/modules/Themer.js index b364da7..7a7e700 100644 --- a/src/modules/Themer.js +++ b/src/modules/Themer.js @@ -58,6 +58,7 @@ var Themer = class { // GNOME Shell disables extensions when locking the screen. We'll only reset the theme if the user disables the extension. State.set('last_disabled_on_screen_lock', main.screenShield.locked); if ( !State.get('last_disabled_on_screen_lock') ) { + log_debug('Resetting the user\'s original theme...') this.reset_theme(); } log_debug('Themer disabled.');