--- Source/WebCore/platform/gtk/GtkClickCounter.cpp.orig	2017-06-05 20:31:59.523452764 +0000
+++ Source/WebCore/platform/gtk/GtkClickCounter.cpp	2017-06-05 17:24:24.850077165 +0000
@@ -84,11 +84,7 @@
     GdkEvent* event(reinterpret_cast<GdkEvent*>(buttonEvent));
     guint32 eventTime = getEventTime(event);
 
-    if ((event->type == GDK_2BUTTON_PRESS || event->type == GDK_3BUTTON_PRESS)
-        || ((abs(buttonEvent->x - m_previousClickPoint.x()) < doubleClickDistance)
-            && (abs(buttonEvent->y - m_previousClickPoint.y()) < doubleClickDistance)
-            && (eventTime - m_previousClickTime < static_cast<guint>(doubleClickTime))
-            && (buttonEvent->button == m_previousClickButton)))
+    if ((event->type == GDK_2BUTTON_PRESS || event->type == GDK_3BUTTON_PRESS) || (fabs(buttonEvent->x - m_previousClickPoint.x()) < doubleClickDistance) && (fabs(buttonEvent->y - m_previousClickPoint.y()) < doubleClickDistance) && (eventTime - m_previousClickTime < static_cast<guint>(doubleClickTime)) && (buttonEvent->button == m_previousClickButton))
         m_currentClickCount++;
     else
         m_currentClickCount = 1;