Markus Alexander Kuppe

@lorin AFAIK the [prototype of a model editor](https://github.com/alygin/vscode-tlaplus/pull/152) is the only way to automatically generate the MC.tla/MC.cfg combi.

Related: https://github.com/alygin/vscode-tlaplus/issues/219

@edaena, I believe you're familiar with the relevant parts of the extension. One question to answer is how this integrates with SANY. For example, tree-sitter rejecting a spec shouldn't prevent...

To clarify: Are you're saying that the list of use-cases is exhaustive s.t. tree-sitter should only replace regex-based syntax highlighting and improve code navigation/completion? For everything else, however, SANY remains...

[Related: https://github.com/microsoft/vscode-anycode](https://github.com/microsoft/vscode-anycode)

FWIW: The Toolbox parses this output in `org.lamport.tla.toolbox.tool.tlc.output.data.ActionInformationItem`. However, I don't think that vscode-tlaplus has the UX for users to make sense of this info. In other words, the regex...

According to a (biased) Twitter poll, this has low priority: https://twitter.com/lemmster/status/1436120376984039444

@dricketts "if ever" above is supposed to indicate that this issue isn't about adding a clone of the Toolbox's model editor to vscode-tlaplus. I, for one, am frequently annoyed with...

I don't think we need to be overly concerned about experienced vscode-tlaplus users. They will simply ignore the functionality to generate anything and do it manually/customize (expert customization is one...

@dricketts How do you organize/handle TLC runtime settings (memory, cores, ...) with vscode-tlaplus? From my experience, storing them as VSCode settings is not ideal.