diff options
| author | Carlos Garnacho <carlosg@gnome.org> | 2011-07-14 17:43:59 +0200 |
|---|---|---|
| committer | Carlos Garnacho <carlosg@gnome.org> | 2011-07-15 18:14:38 +0200 |
| commit | f90c154472cc9f3901644ccb49e944aca40200ca (patch) | |
| tree | e61edd84e1cff6571e1d85f6bbe269055b0f22ae /docs | |
| parent | 1f264ddb4be91166d91839d56c75706a20a34b52 (diff) | |
| download | gtk+-f90c154472cc9f3901644ccb49e944aca40200ca.tar.gz | |
gdk/x11: Add gdk_x11_device_get_id()
This function can be used to find out the XInput2 device ID
behind a GdkDevice, mostly useful when you need to interact
with say Clutter, or raw libXi calls.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/reference/gdk/gdk3-sections.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/reference/gdk/gdk3-sections.txt b/docs/reference/gdk/gdk3-sections.txt index 287599b54b..ab5cf98931 100644 --- a/docs/reference/gdk/gdk3-sections.txt +++ b/docs/reference/gdk/gdk3-sections.txt @@ -928,6 +928,7 @@ GDK_POINTER_TO_XID GDK_XID_TO_POINTER gdk_x11_lookup_xdisplay gdk_x11_get_server_time +gdk_x11_device_get_id gdk_x11_display_get_user_time gdk_x11_display_broadcast_startup_message gdk_x11_display_get_startup_notification_id |