seat (p.ocgtk.0.1~preview2.doc.ocgtk.gdk.Ocgtk

method on_device_added : ?after:bool ->
  callback:
    (device:Ocgtk_gdk__.GApp_launch_context_cycle_de440b34.device_t -> unit) ->
  unit ->
  Gobject.Signal.handler_id

method on_device_removed : ?after:bool ->
  callback:
    (device:Ocgtk_gdk__.GApp_launch_context_cycle_de440b34.device_t -> unit) ->
  unit ->
  Gobject.Signal.handler_id

method on_tool_added : ?after:bool ->
  callback:(tool:Ocgtk_gdk__.GDevice_tool.device_tool_t -> unit) ->
  unit ->
  Gobject.Signal.handler_id

method on_tool_removed : ?after:bool ->
  callback:(tool:Ocgtk_gdk__.GDevice_tool.device_tool_t -> unit) ->
  unit ->
  Gobject.Signal.handler_id

method get_capabilities : unit -> Ocgtk_gdk__.Gdk_enums.seatcapabilities

method get_devices : Ocgtk_gdk__.Gdk_enums.seatcapabilities ->
  Ocgtk_gdk__.GApp_launch_context_cycle_de440b34.device_t list

method get_display : unit ->
  Ocgtk_gdk__.GApp_launch_context_cycle_de440b34.display_t

method get_keyboard : unit ->
  Ocgtk_gdk__.GApp_launch_context_cycle_de440b34.device_t option

method get_pointer : unit ->
  Ocgtk_gdk__.GApp_launch_context_cycle_de440b34.device_t option

method get_tools : unit -> Ocgtk_gdk__.GDevice_tool.device_tool_t list

method as_seat : Ocgtk_gdk__.App_launch_context_cycle_de440b34.Seat.t