Unreviewed. WebInspector: remove unnecessary method.

* inspector/front-end/OverviewGrid.js:
(WebInspector.OverviewGrid.Window):

git-svn-id: http://svn.webkit.org/repository/webkit/trunk@146893 268f45cc-cd09-0410-ab3c-d52691b4dbfc
Convert WebInputEvent::GestureDoubleTap to  PlatformEvent::NoType
https://bugs.webkit.org/show_bug.cgi?id=113215

In bug 93045 we removed PlatformEvent::GestureDoubleTap since now DoubleTap gesture
is implemented as a Tap gesture with tap_count = 2.

In WebViewImpl::handleGestureEvent(), a PlatformEvent is built from the WebGestureEvent
regardless, even though the PlatfromEvent will never reach the WebCore. DoubleTap, in
our case, is only handled in WebViewImpl for doube-tap-to-zoom, will also go through
conversion in WebInpuEventConversion.cpp::PlatformGestureEventBuilder() and reach
ASSERT_NOT_REACHED()

This patch converts WebGestureEvent::DoubleTap to PlatformEvent::NoType, this makes the
conversion list from WebInputEvent to PlatformEvent complete and we don't need a special
handling for the DoubleTap event in WebViewImpl::handleGestureEvent()

Patch by Yufeng Shen <miletus@chromium.org> on 2013-03-26
Reviewed by Antonio Gomes.

* src/WebInputEventConversion.cpp:
(WebKit::PlatformGestureEventBuilder::PlatformGestureEventBuilder):

git-svn-id: http://svn.webkit.org/repository/webkit/trunk@146894 268f45cc-cd09-0410-ab3c-d52691b4dbfc