File webkitgtk-2.4.9-abs.patch of Package mingw64-webkitgtk

Overview Repositories Revisions Requests Users Attributes Meta

File webkitgtk-2.4.9-abs.patch of Package mingw64-webkitgtk (Revision 236de8410714790e28bbb15f5b7d0744)

Currently displaying revision 236de8410714790e28bbb15f5b7d0744 , Show latest

diff -up webkitgtk-2.4.9/Source/WebCore/platform/gtk/GtkClickCounter.cpp.orig webkitgtk-2.4.9/Source/WebCore/platform/gtk/GtkClickCounter.cpp
--- webkitgtk-2.4.9/Source/WebCore/platform/gtk/GtkClickCounter.cpp.orig	2016-04-15 20:59:30.679145001 +0200
+++ webkitgtk-2.4.9/Source/WebCore/platform/gtk/GtkClickCounter.cpp	2016-04-15 20:59:41.664149533 +0200
@@ -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)
+        || ((std::abs(buttonEvent->x - m_previousClickPoint.x()) < doubleClickDistance)
+            && (std::abs(buttonEvent->y - m_previousClickPoint.y()) < doubleClickDistance)
             && (eventTime - m_previousClickTime < static_cast<guint>(doubleClickTime))
             && (buttonEvent->button == m_previousClickButton)))
         m_currentClickCount++;
diff -up webkitgtk-2.4.9/Source/WebCore/platform/gtk/LocalizedStringsGtk.cpp.orig webkitgtk-2.4.9/Source/WebCore/platform/gtk/LocalizedStringsGtk.cpp
--- webkitgtk-2.4.9/Source/WebCore/platform/gtk/LocalizedStringsGtk.cpp.orig	2016-04-16 10:27:25.371996415 +0200
+++ webkitgtk-2.4.9/Source/WebCore/platform/gtk/LocalizedStringsGtk.cpp	2016-04-16 10:34:52.624007845 +0200
@@ -659,7 +659,7 @@ String localizedMediaTimeDescription(flo
     if (!std::isfinite(time))
         return String::fromUTF8(_("indefinite time"));
 
-    int seconds = static_cast<int>(abs(time));
+    int seconds = abs(static_cast<int>(time));
     int days = seconds / (60 * 60 * 24);
     int hours = seconds / (60 * 60);
     int minutes = (seconds / 60) % 60;

Places

File webkitgtk-2.4.9-abs.patch of Package mingw64-webkitgtk (Revision 236de8410714790e28bbb15f5b7d0744)

Places