Gdk.Seat.tool_removed – gdk-3.0 Reference Manual
Packages
gdk-3.0
Gdk
Seat
display
Seat
get_capabilities
get_display
get_keyboard
get_pointer
get_slaves
grab
ungrab
device_added
device_removed
tool_added
tool_removed
tool_removed
Description:
[
Version
( since =
"3.22"
) ]
public
signal
void
tool_removed
(
DeviceTool
tool)
Emitted whenever a tool is no longer known to this
seat
.
Parameters:
tool
the just removed `GdkDeviceTool`