Plugin
Manager_
Plugin
Deactivated
Signal
Callback
GJS API Reference
Anjuta-3.0
Anjuta
PluginManager_PluginDeactivatedSignalCallback
Interface PluginManager_PluginDeactivatedSignalCallback
Hierarchy
PluginManager_PluginDeactivatedSignalCallback
Callable
Plugin
Manager_
Plugin
Deactivated
Signal
Callback
(
$obj
:
Anjuta
.
PluginManager
, object
:
object
, p0
:
Anjuta
.
Plugin
)
:
void
Signal callback interface for
plugin-deactivated
Parameters
$obj:
Anjuta
.
PluginManager
object:
object
p0:
Anjuta
.
Plugin
Returns
void
Plugin
Manager_
Plugin
Deactivated
Signal
Callback
base64:eyJwYWdlTmF2aWdhdGlvbiI6W10sImNsYXNzTmFtZXMiOiJjdXJyZW50IHRzZC1raW5kLWludGVyZmFjZSB0c2QtcGFyZW50LWtpbmQtbmFtZXNwYWNlIiwiaHJlZiI6IkFuanV0YV8zXzAuQW5qdXRhLlBsdWdpbk1hbmFnZXJfUGx1Z2luRGVhY3RpdmF0ZWRTaWduYWxDYWxsYmFjay5odG1sIiwibmFtZSI6IlBsdWdpbk1hbmFnZXJfUGx1Z2luRGVhY3RpdmF0ZWRTaWduYWxDYWxsYmFjayJ9
Signal callback interface for
plugin-deactivated