Project
Manager_
Element
Selected
Signal
Callback
GJS API Reference
IAnjuta-3.0
IAnjuta
ProjectManager_ElementSelectedSignalCallback
Interface ProjectManager_ElementSelectedSignalCallback
Hierarchy
ProjectManager_ElementSelectedSignalCallback
Callable
Project
Manager_
Element
Selected
Signal
Callback
(
$obj
:
ProjectManager
, object
:
Gio
.
File
)
:
void
Signal callback interface for
element-selected
Parameters
$obj:
ProjectManager
object:
Gio
.
File
Returns
void
Project
Manager_
Element
Selected
Signal
Callback
base64:eyJwYWdlTmF2aWdhdGlvbiI6W10sImNsYXNzTmFtZXMiOiJjdXJyZW50IHRzZC1raW5kLWludGVyZmFjZSB0c2QtcGFyZW50LWtpbmQtbmFtZXNwYWNlIiwiaHJlZiI6IklBbmp1dGFfM18wLklBbmp1dGEuUHJvamVjdE1hbmFnZXJfRWxlbWVudFNlbGVjdGVkU2lnbmFsQ2FsbGJhY2suaHRtbCIsIm5hbWUiOiJQcm9qZWN0TWFuYWdlcl9FbGVtZW50U2VsZWN0ZWRTaWduYWxDYWxsYmFjayJ9
Signal callback interface for
element-selected