From ec5a1b2a1ba75dad13db19dbbb5b4566cc21da35 Mon Sep 17 00:00:00 2001
From: Julian Viereck <julian.viereck@gmail.com>
Date: Thu, 19 Apr 2012 20:13:56 +0200
Subject: [PATCH] Fix lint issues

---
 web/viewer.js | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/web/viewer.js b/web/viewer.js
index 211938fbc..228821e32 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -1456,13 +1456,11 @@ window.addEventListener('pagechange', function pagechange(evt) {
 }, true);
 
 window.addEventListener('keydown', function keydown(evt) {
-  var cmd = 0;
-  if (evt.ctrlKey)  cmd |= 1;
-  if (evt.altKey)   cmd |= 2;
-  if (evt.shiftKey) cmd |= 4;
-  if (evt.metaKey)  cmd |= 8; 
-
   var handled = false;
+  var cmd = (evt.ctrlKey ? 1 : 0) |
+            (evt.altKey ? 2 : 0) |
+            (evt.shiftKey ? 4 : 0) |
+            (evt.metaKey ? 8 : 0);
 
   // First, handle the key bindings that are independent whether an input
   // control is selected or not.