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 /gdk/gdk.symbols | |
| 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 'gdk/gdk.symbols')
| -rw-r--r-- | gdk/gdk.symbols | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdk/gdk.symbols b/gdk/gdk.symbols index 239ca4e4ab..8386bb95e4 100644 --- a/gdk/gdk.symbols +++ b/gdk/gdk.symbols @@ -513,6 +513,7 @@ gdk_x11_cursor_get_type gdk_x11_cursor_get_xcursor gdk_x11_cursor_get_xdisplay gdk_x11_device_core_get_type +gdk_x11_device_get_id gdk_x11_device_manager_core_get_type gdk_x11_device_manager_xi2_get_type gdk_x11_device_manager_xi_get_type |