Closed AndreJohannsen closed 8 years ago
Hello, and thank you for the report! This is a problem in Jedi which was reported there November last year. Sadly, there is no fix yet. We're tracking this in #711 – I'll close this issue so we can keep the discussion in one spot, but please do not hesitate to open a new issue if you have any other problems!
Reproduction: