diff options
Diffstat (limited to 'Source/WebKit2/UIProcess/gtk/WebView.cpp')
-rw-r--r-- | Source/WebKit2/UIProcess/gtk/WebView.cpp | 23 |
1 files changed, 21 insertions, 2 deletions
diff --git a/Source/WebKit2/UIProcess/gtk/WebView.cpp b/Source/WebKit2/UIProcess/gtk/WebView.cpp index 5063922..2ff67cd 100644 --- a/Source/WebKit2/UIProcess/gtk/WebView.cpp +++ b/Source/WebKit2/UIProcess/gtk/WebView.cpp @@ -179,6 +179,11 @@ void WebView::didRelaunchProcess() notImplemented(); } +void WebView::setFocus(bool) +{ + notImplemented(); +} + void WebView::takeFocus(bool) { notImplemented(); @@ -189,9 +194,17 @@ void WebView::toolTipChanged(const String&, const String&) notImplemented(); } -void WebView::setCursor(const Cursor&) +void WebView::setCursor(const Cursor& cursor) { - notImplemented(); + // [GTK] Widget::setCursor() gets called frequently + // http://bugs.webkit.org/show_bug.cgi?id=16388 + // Setting the cursor may be an expensive operation in some backends, + // so don't re-set the cursor if it's already set to the target value. + GdkWindow* window = gtk_widget_get_window(m_viewWidget); + GdkCursor* currentCursor = gdk_window_get_cursor(window); + GdkCursor* newCursor = cursor.platformCursor().get(); + if (currentCursor != newCursor) + gdk_window_set_cursor(window, newCursor); } void WebView::setViewportArguments(const WebCore::ViewportArguments&) @@ -221,6 +234,12 @@ FloatRect WebView::convertToUserSpace(const FloatRect& viewRect) return viewRect; } +IntRect WebView::windowToScreen(const IntRect& rect) +{ + notImplemented(); + return IntRect(); +} + void WebView::doneWithKeyEvent(const NativeWebKeyboardEvent&, bool wasEventHandled) { notImplemented(); |