Wrappers.Seattype t = [ `seat | `object_ ] Gobject.objval get_tools : t -> [ `device_tool | `object_ ] Gobject.obj listReturns all `GdkDeviceTools` that are known to the application.
val get_pointer : t -> [ `device | `object_ ] Gobject.obj optionReturns the device that routes pointer events.
val get_keyboard : t -> [ `device | `object_ ] Gobject.obj optionReturns the device that routes keyboard events.
val get_display : t -> [ `display | `object_ ] Gobject.objReturns the `GdkDisplay` this seat belongs to.
val get_devices :
t ->
Gdk_enums.seatcapabilities ->
[ `device | `object_ ] Gobject.obj listReturns the devices that match the given capabilities.
val get_capabilities : t -> Gdk_enums.seatcapabilitiesReturns the capabilities this `GdkSeat` currently has.
val on_device_added :
?after:bool ->
t ->
callback:(device:[ `device | `object_ ] Gobject.obj -> unit) ->
Gobject.Signal.handler_idval on_device_removed :
?after:bool ->
t ->
callback:(device:[ `device | `object_ ] Gobject.obj -> unit) ->
Gobject.Signal.handler_idval on_tool_added :
?after:bool ->
t ->
callback:(tool:[ `device_tool | `object_ ] Gobject.obj -> unit) ->
Gobject.Signal.handler_idval on_tool_removed :
?after:bool ->
t ->
callback:(tool:[ `device_tool | `object_ ] Gobject.obj -> unit) ->
Gobject.Signal.handler_id