--- Source/WebCore/platform/gtk/GtkClickCounter.cpp.orig	2018-02-07 02:12:45 UTC

+++ Source/WebCore/platform/gtk/GtkClickCounter.cpp

@@ -85,8 +85,8 @@ int GtkClickCounter::clickCountForGdkBut

     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)

+        || ((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++;

--- Source/WebCore/platform/gtk/RenderThemeGtk2.cpp

+++ Source/WebCore/platform/gtk/RenderThemeGtk2.cpp	

@@ -24,6 +24,7 @@

 #include "config.h"

 #include "RenderThemeGtk.h"

+#include "RenderBox.h"

 #ifdef GTK_API_VERSION_2

--- webkitgtk-2.4.9.orig/Source/WebCore/platform/gtk/LocalizedStringsGtk.cpp	2015-05-20 03:03:24.000000000 -0600

+++ webkitgtk-2.4.9/Source/WebCore/platform/gtk/LocalizedStringsGtk.cpp	2016-02-07 11:49:36.384691005 -0700

@@ -659,7 +659,7 @@

     if (!std::isfinite(time))

         return String::fromUTF8(_("indefinite time"));

-    int seconds = static_cast<int>(abs(time));

+    int seconds = static_cast<int>(fabs(time));

     int days = seconds / (60 * 60 * 24);

     int hours = seconds / (60 * 60);

     int minutes = (seconds / 60) % 60;