From 495cf9f7cebaa09525da74a59b46abf49ba8cb2a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrg=20Lehni?= <juerg@scratchdisk.com>
Date: Thu, 14 Jan 2016 17:44:00 +0100
Subject: [PATCH] Remove unused parameter.

---
 src/view/View.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/view/View.js b/src/view/View.js
index ae62df59..8c5f7980 100644
--- a/src/view/View.js
+++ b/src/view/View.js
@@ -828,7 +828,7 @@ new function() { // Injection scope for mouse events on the browser
             handleMouseMove(view, event);
     };
 
-    docEvents[mousedown] = function(event) {
+    docEvents[mousedown] = function() {
         // In order to not switch views during scroll dragging on touch devices,
         // we need to know if the mouse was clicked anywhere on the document
         // (see docEvents[mousemove]) The rest happens in viewEvents[mousedown].