Hi there,
I’m wondering if there’s an observable / notifier for “Tool deactivation”.
The problem: the user can deactivate a tool while it is running.
For proper shutdown / cleanup it would be great, if the tool could be notified about the deactivation
If not possible, this would be a feature request