From 657d2c3f901a4793bc0075c671b6006ed2d43f50 Mon Sep 17 00:00:00 2001
From: Fmstrat <nospam@nowsci.com>
Date: Wed, 15 Jan 2020 09:53:59 -0500
Subject: [PATCH] Added additional logging

---
 extension.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/extension.js b/extension.js
index 7bbf646..2b1e785 100644
--- a/extension.js
+++ b/extension.js
@@ -829,7 +829,9 @@ function getCurrentMonitor() {
 }
 
 var enable = function() {
+	_log('Enable')
 	if (!keyManager) {
+		_log('Keymanager is being defined')
 		keyManager = new KeyBindings.Manager();
 		let desktopSettings = new Gio.Settings({ schema_id: 'org.gnome.desktop.wm.keybindings' });
 		let shellSettings = new Gio.Settings({ schema_id: 'org.gnome.shell.overrides' });
@@ -857,7 +859,9 @@ var enable = function() {
 }
 
 var disable = function() {
+	_log('Disable')
 	if (keyManager) {
+		_log('Keymanager is being removed')
 		keyManager.removeAll();
 		keyManager.destroy();
 		keyManager = null;