onDidDispose
Fired when the panel is disposed.
This may be because the user closed the panel or because .dispose()
was called on it.
Trying to use the panel after it has been disposed throws an exception.
Fired when the panel is disposed.
This may be because the user closed the panel or because .dispose()
was called on it.
Trying to use the panel after it has been disposed throws an exception.