From 8f3bc6aa09b2ef509a832fd7d7da7e6891dd7102 Mon Sep 17 00:00:00 2001 From: jderose9 Date: Wed, 8 Feb 2017 18:08:23 -0500 Subject: [PATCH] remove debugging log --- taskbar.js | 1 - 1 file changed, 1 deletion(-) diff --git a/taskbar.js b/taskbar.js index 4591817..c26afd7 100644 --- a/taskbar.js +++ b/taskbar.js @@ -1245,7 +1245,6 @@ const taskbarAppIcon = new Lang.Class({ Mainloop.timeout_add(200, Lang.bind(this, function() { if(menu.isOpen) { this._grabHelper.grab({ actor: menu.actor, focus: menu.sourceActor, onUngrab: Lang.bind(this, this._closeMenu, menu) }); - log(this._grabHelper.grabStack.length); } })); } else {