The extension-removed signal is emitted when a new extension is about to be
removed from the peas.ExtensionSet It happens when a plugin implementing
the extension set's extension type is unloaded, or when the
peas.ExtensionSet itself is destroyed.
You should connect to this signal in order to clean up the extensions
when their plugin is unload. Note that this signal is not fired for the
PeasExtension instances still available when the peas.ExtensionSet
instance is destroyed. You should clean those up by yourself.
The extension-removed signal is emitted when a new extension is about to be removed from the peas.ExtensionSet It happens when a plugin implementing the extension set's extension type is unloaded, or when the peas.ExtensionSet itself is destroyed.
You should connect to this signal in order to clean up the extensions when their plugin is unload. Note that this signal is not fired for the PeasExtension instances still available when the peas.ExtensionSet instance is destroyed. You should clean those up by yourself.