From bbb12979b3c804355a36a6e98804b7fded2f3164 Mon Sep 17 00:00:00 2001
From: Scott Nonnenberg <scott@nonnenberg.com>
Date: Fri, 25 Aug 2017 14:28:05 -0700
Subject: [PATCH] Fix a few errant jshint problems

FREEBIE
---
 js/panel_controller.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/js/panel_controller.js b/js/panel_controller.js
index 42718e005..dae72394d 100644
--- a/js/panel_controller.js
+++ b/js/panel_controller.js
@@ -31,8 +31,8 @@
             clearInterval(window.keepClear);
             delete window.keepClear;
         }
-        window.keepClear = setInterval(function() { 
-            extension.windows.clearAttention(inboxWindowId) 
+        window.keepClear = setInterval(function() {
+            extension.windows.clearAttention(inboxWindowId);
         }, 2000);
     };