wok-next view libwebkit-video/stuff/patches/GtkClickCounter.patch @ rev 20673
font-manager: dev package is empty, update deps.
| author | Aleksej Bobylev <al.bobylev@gmail.com> |
|---|---|
| date | Fri May 11 16:56:15 2018 +0300 (2018-05-11) |
| 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++;