ExtensionSet.addOnExtensionRemoved

The extension-removed signal is emitted when a new extension is about to be removed from the #PeasExtensionSet. It happens when a plugin implementing the extension set's extension type is unloaded, or when the #PeasExtensionSet 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 #PeasExtensionSet instance is destroyed. You should clean those up by yourself.

class ExtensionSet
addOnExtensionRemoved

Meta