WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
117875
Remove unused GesturePinch events
https://bugs.webkit.org/show_bug.cgi?id=117875
Summary
Remove unused GesturePinch events
Allan Sandfeld Jensen
Reported
2013-06-21 06:42:31 PDT
The gesturePinch events have not been used for some time, even Chromium had stop using them before moving out of webkit.
Attachments
Patch
(2.94 KB, patch)
2013-06-21 06:44 PDT
,
Allan Sandfeld Jensen
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Allan Sandfeld Jensen
Comment 1
2013-06-21 06:44:06 PDT
Created
attachment 205179
[details]
Patch
Andreas Kling
Comment 2
2013-06-21 08:54:03 PDT
Comment on
attachment 205179
[details]
Patch View in context:
https://bugs.webkit.org/attachment.cgi?id=205179&action=review
> Source/WebCore/ChangeLog:9 > + The gesturePinch events have not been used for some time, even Chromium > + had stop using them before moving out of webkit.
SGTM!
Allan Sandfeld Jensen
Comment 3
2013-06-21 09:13:19 PDT
Comment on
attachment 205179
[details]
Patch Clearing flags on attachment: 205179 Committed
r151840
: <
http://trac.webkit.org/changeset/151840
>
Allan Sandfeld Jensen
Comment 4
2013-06-21 09:13:25 PDT
All reviewed patches have been landed. Closing bug.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug