Gdk.Seat.tool_removed – gtk4 Reference Manual
tool_removed
Description:
public
signal
void
tool_removed
(
DeviceTool
tool)
Emitted whenever a tool is no longer known to this
seat
.
Parameters:
tool
the just removed `GdkDeviceTool`
2022 vala-language.org