From a05f23d8feead5d2264bb307657c717825f3f3d7 Mon Sep 17 00:00:00 2001
From: poire-z <poire-z@users.noreply.github.com>
Date: Sat, 22 Apr 2017 15:41:39 +0200
Subject: [PATCH] Really disable double tap when 'disable_double_tap' is set

Closes #1594
---
 frontend/device/gesturedetector.lua | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontend/device/gesturedetector.lua b/frontend/device/gesturedetector.lua
index 8529b1e3b..5eb63dcb6 100644
--- a/frontend/device/gesturedetector.lua
+++ b/frontend/device/gesturedetector.lua
@@ -316,7 +316,7 @@ function GestureDetector:handleDoubleTap(tev)
         timev = tev.timev,
     }
 
-    if self.last_taps[slot] ~= nil and
+    if not self.input.disable_double_tap and self.last_taps[slot] ~= nil and
     self:isDoubleTap(self.last_taps[slot], cur_tap) then
         -- it is a double tap
         self:clearState(slot)