wok-next view libwebkit/stuff/patches/GtkClickCounter.patch @ rev 20404
Up cookutils (1019)
| author | Aleksej Bobylev <al.bobylev@gmail.com> |
|---|---|
| date | Thu Dec 07 14:34:32 2017 +0200 (2017-12-07) |
| parents | |
| children |
line source
1 --- libwebkit-1.8.3/Source/WebCore/platform/gtk/GtkClickCounter.cpp
2 +++ libwebkit-1.8.3/Source/WebCore/platform/gtk/GtkClickCounter.cpp
3 @@ -85,8 +85,8 @@
4 guint32 eventTime = getEventTime(event);
6 if ((event->type == GDK_2BUTTON_PRESS || event->type == GDK_3BUTTON_PRESS)
7 - || ((abs(buttonEvent->x - m_previousClickPoint.x()) < doubleClickDistance)
8 - && (abs(buttonEvent->y - m_previousClickPoint.y()) < doubleClickDistance)
9 + || ((fabs(buttonEvent->x - m_previousClickPoint.x()) < doubleClickDistance)
10 + && (fabs(buttonEvent->y - m_previousClickPoint.y()) < doubleClickDistance)
11 && (eventTime - m_previousClickTime < static_cast<guint>(doubleClickTime))
12 && (buttonEvent->button == m_previousClickButton)))
13 m_currentClickCount++;