Closed christianvoigt closed 3 years ago
Actually a further test showed that this is not true: document symbols are provided as long as the file was saved. For unsaved files the symbols are missing. This has nothing to do with multiple pcs's assigned to the same argument.
However, the Argdown parser will throw an exception if an assignment of multiple pcs's is detected (it will return the error message in @argdown/cli) and the preview will fail to update in that case. For the moment I do not think that this is something that has to be fixed.
The extension fails to provide symbols (for example in the outline view) if the document contains multiple premise conclusion structures for the same argument:
It does not fail with multiple definitions only: