From 9157597175822fba5ebc0b09827abbd31062a8a9 Mon Sep 17 00:00:00 2001
From: Julian Viereck <julian.viereck@gmail.com>
Date: Tue, 3 Jan 2012 22:48:32 +0100
Subject: [PATCH] Fix lint error

---
 web/viewer.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/viewer.js b/web/viewer.js
index ab24cc46f..53eea005c 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -1086,7 +1086,7 @@ window.addEventListener('scalechange', function scalechange(evt) {
       return;
   }
 
-  var predefinedValueFound =  selectScaleOption('' + evt.scale);
+  var predefinedValueFound = selectScaleOption('' + evt.scale);
   if (!predefinedValueFound) {
     customScaleOption.textContent = Math.round(evt.scale * 10000) / 100 + '%';
     customScaleOption.selected = true;