Closed jens1o closed 7 years ago
and, after the error, the following message apepars
Yep, that's also true. I missed that, sorry.
Hmm, I can't reproduce. can you share your settings.json? Also how are you killing the terminal exactly?
Using the trashbin:
My user settings are quite complex... But here you go: https://gist.github.com/jens1o/9b80018dd19f6745db862f56edea07ef
@jens1o Can you confirm that this is fixed for you using the latest insiders?
Yes, this is fixed for me @roblourens .
(2 theme extensions excluded)
Steps to Reproduce:
This issue is quite annoying, because it also reproduces when changing the current folder... :/ Most likely, this is upstream, but still important.
Reproduces without extensions: Yes !!!
I think you need more details, but which ones?