Editor
Hover_
Hover
Over
Signal
Callback
GJS API Reference
IAnjuta-3.0
IAnjuta
EditorHover_HoverOverSignalCallback
Interface EditorHover_HoverOverSignalCallback
Hierarchy
EditorHover_HoverOverSignalCallback
Callable
Editor
Hover_
Hover
Over
Signal
Callback
(
$obj
:
EditorHover
, position
:
IAnjuta
.
Iterable
)
:
void
Signal callback interface for
hover-over
Parameters
$obj:
EditorHover
position:
IAnjuta
.
Iterable
Returns
void
Editor
Hover_
Hover
Over
Signal
Callback
base64:eyJwYWdlTmF2aWdhdGlvbiI6W10sImNsYXNzTmFtZXMiOiJjdXJyZW50IHRzZC1raW5kLWludGVyZmFjZSB0c2QtcGFyZW50LWtpbmQtbmFtZXNwYWNlIiwiaHJlZiI6IklBbmp1dGFfM18wLklBbmp1dGEuRWRpdG9ySG92ZXJfSG92ZXJPdmVyU2lnbmFsQ2FsbGJhY2suaHRtbCIsIm5hbWUiOiJFZGl0b3JIb3Zlcl9Ib3Zlck92ZXJTaWduYWxDYWxsYmFjayJ9
Signal callback interface for
hover-over