Profile
Manager_
Profile
Pushed
Signal
Callback
NODE-GTK API Reference
Anjuta-3.0
Anjuta
ProfileManager_ProfilePushedSignalCallback
Interface ProfileManager_ProfilePushedSignalCallback
Hierarchy
ProfileManager_ProfilePushedSignalCallback
Callable
Profile
Manager_
Profile
Pushed
Signal
Callback
(
profile
:
Anjuta
.
Profile
)
:
void
Signal callback interface for
profile-pushed
Parameters
profile:
Anjuta
.
Profile
Returns
void
Profile
Manager_
Profile
Pushed
Signal
Callback
base64:eyJwYWdlTmF2aWdhdGlvbiI6W10sImNsYXNzTmFtZXMiOiJjdXJyZW50IHRzZC1raW5kLWludGVyZmFjZSB0c2QtcGFyZW50LWtpbmQtbmFtZXNwYWNlIiwiaHJlZiI6IkFuanV0YV8zXzAuQW5qdXRhLlByb2ZpbGVNYW5hZ2VyX1Byb2ZpbGVQdXNoZWRTaWduYWxDYWxsYmFjay5odG1sIiwibmFtZSI6IlByb2ZpbGVNYW5hZ2VyX1Byb2ZpbGVQdXNoZWRTaWduYWxDYWxsYmFjayJ9
Signal callback interface for
profile-pushed