Device_
Tool
Changed
Signal
Callback
GJS API Reference
Gdk-3.0
Gdk
Device_ToolChangedSignalCallback
Interface Device_ToolChangedSignalCallback
Hierarchy
Device_ToolChangedSignalCallback
Callable
Device_
Tool
Changed
Signal
Callback
(
$obj
:
Gdk
.
Device
, tool
:
Gdk
.
DeviceTool
)
:
void
Signal callback interface for
tool-changed
Parameters
$obj:
Gdk
.
Device
tool:
Gdk
.
DeviceTool
Returns
void
Device_
Tool
Changed
Signal
Callback
base64:eyJwYWdlTmF2aWdhdGlvbiI6W10sImNsYXNzTmFtZXMiOiJjdXJyZW50IHRzZC1raW5kLWludGVyZmFjZSB0c2QtcGFyZW50LWtpbmQtbmFtZXNwYWNlIiwiaHJlZiI6Ikdka18zXzAuR2RrLkRldmljZV9Ub29sQ2hhbmdlZFNpZ25hbENhbGxiYWNrLmh0bWwiLCJuYW1lIjoiRGV2aWNlX1Rvb2xDaGFuZ2VkU2lnbmFsQ2FsbGJhY2sifQ==
Signal callback interface for
tool-changed