[Webkit-unassigned] [Bug 44787] [Gtk] gdk_display_get_core_pointer and gdk_device_get_core_pointer are deprecated

[bugzilla-daemon at webkit.org]

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





--- Comment #4 from Alejandro G. Castro <alex at igalia.com>  2010-08-28 07:22:58 PST ---
(In reply to comment #3)
> Attachment 65820 [details] did not pass style-queue:
> 
> Failed to run "['WebKitTools/Scripts/check-webkit-style']" exit_code: 1
> WARNING: File exempt from style guide. Skipping: "WebKit/gtk/tests/testcopyandpaste.c"
> WebKitTools/DumpRenderTree/gtk/EventSender.cpp:44:  Alphabetical sorting problem.  [build/include_order] [4]
> WebCore/platform/gtk/GtkVersioning.c:53:  Declaration has space between * and variable name in GdkDevice* getDefaultGDKPointerDevice  [whitespace/declaration] [3]
> WebCore/platform/gtk/GtkVersioning.c:56:  Declaration has space between * and variable name in GdkDeviceManager* manager  [whitespace/declaration] [3]
> Total errors found: 3 in 11 files
> 

Are these correct?

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