Closed malte-v closed 4 years ago
Unfortunately these two extensions seem to be incompatible. The highlighter extension crashes when I'm starting to edit a file (I have auto-save set to true).
true
Hello @malte-v , Thank you for the feedback. I'll see what I can do and return to you asap.
Hello @malte-v . I cannot reproduce this issue. If you still experience crashes, please reopen it. Regards.
Unfortunately these two extensions seem to be incompatible. The highlighter extension crashes when I'm starting to edit a file (I have auto-save set to
true
).