extension_removed
Description:
Emitted when a new extension is about to be removed from the ExtensionSet.
It happens when a plugin implementing the extension set's extension type is unloaded, or when the 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 [ alias@Extension] instances still available when the ExtensionSet instance is destroyed. You should clean those up by yourself.
Parameters:
| info |
A PluginInfo. |
| exten |
A Extension. |