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.
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.