search

db-tu-dresden / vscode-tslgenedit

VS-Code extension for integrating editor features for the TSL primitive data.
Apache License 2.0
0 stars 0 forks source link

Make terminal name unique #8

Closed JPietrzykTUD closed 1 year ago

JPietrzykTUD commented 1 year ago

It should be self-explanatory.

alexKrauseTUD commented 1 year ago

Implicitly handled through the introduction of the tear down method in fef4ba7ca9c6d2bdefbb210b0f6551a565b49425. When the extension gets deactivated, the terminal will be destroyed and removed. Thus, no zombies should remain after restarting a vscode instance.