Https://github.com/theia-ide/theia/issues/4027

@anton-kosyakov I think you wanted to work on the above issue. We would be happy if you have time, as we’re quite swamped at this time.

[original thread by Thomas Mäder]

I’m looking into when closure context for now, i guess it would keep me busy for this week

i will have a look at it, but only next week. If someone wants to work on it in the meantime. It is fine with me