[Webkit-unassigned] [Bug 15795] [GTK] Change the mouse pointer state to busy while loading a page

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=15795


Philippe Normand <pnormand at igalia.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
 Attachment #225352|review?, commit-queue?      |review-, commit-queue-
               Flag|                            |




--- Comment #11 from Philippe Normand <pnormand at igalia.com>  2014-03-16 03:58:07 PST ---
(From update of attachment 225352)
View in context: https://bugs.webkit.org/attachment.cgi?id=225352&action=review

> Tools/MiniBrowser/gtk/BrowserWindow.c:485
> +    GdkWindow *gdk_window = gtk_widget_get_window(GTK_WIDGET(window->webView));

We use camelCase here, I think. So, gdkWindow ?

> Tools/MiniBrowser/gtk/BrowserWindow.c:493
> +        gdk_window_set_cursor(gdk_window, lastCursor);

I suppose it's alright to not check lastCursor is non-null here, right? Passing NULL means use the cursor of the parent window.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.