Gdk.Device.tool_changed – gdk-3.0 Reference Manual
Packages
gdk-3.0
Gdk
Device
associated_device
axes
device_manager
display
has_cursor
input_mode
input_source
n_axes
name
num_touches
product_id
seat
tool
type
vendor_id
free_history
Device
get_associated_device
get_axes
get_axis
get_axis_use
get_axis_value
get_device_type
get_display
get_has_cursor
get_history
get_key
get_last_event_window
get_mode
get_n_axes
get_n_keys
get_name
get_position
get_position_double
get_product_id
get_seat
get_source
get_state
get_vendor_id
get_window_at_position
get_window_at_position_double
grab
list_axes
list_slave_devices
set_axis_use
set_key
set_mode
ungrab
warp
changed
tool_changed
tool_changed
Description:
[
Version
( since =
"3.22"
) ]
public
signal
void
tool_changed
(
DeviceTool
tool)
Emitted on pen/eraser devices whenever tools enter or leave proximity.
Parameters:
tool
The new current tool