Mirko Lenz

Results 53 comments of Mirko Lenz

I also experienced this problem. For me, it happened when opening Python files (i.e., in cases where the extension should not be loaded at all). I will try to find...

Hi! I updated to the new version yesterday and still have these problems. I am currently working on LaTeX and Python projects (where Argdown should not be loaded at all),...

To be honest, I just started with Argdown and never tried to create argument graphs in VSCode (in our team, we heavily rely on Walton's Argumentation Schemes and as far...

I just commented the specified activation event and so far had no crashes (so the glob could be the root cause of the crash for deeply nested workspaces). However, when...

The crash just happened again. I will try to set `argdown.markdownWebComponent.enabled` to false as a first step and try your other suggestions in case the crash happens again. Thanks for...

Ok, the crash just happened again. After removing all lines that are related to the Markdown support, the Argdown extension no longer appears in the list of loaded extensions. Could...

Sorry for the late answer, I am quite busy at the moment. Since disabling the Markdown-It plugin, I did not see any crashes at all. I just uncommented the activation...

Sorry for answering a bit late, but I have been quite busy in the last weeks. I tried to reproduce this bug today but strangely have not been successful so...

Hi! Thank you for bringing up this topic. For our concrete use case, the following features are needed: 1. Annotate the critical questions as outlined by you. 2. Support schemes...

Thank you so much for your detailed investigation and the detailed examples. I really appreciate your effort! I plan to investigate a move from OVA to Argdown in early April...