vscode-tlaplus icon indicating copy to clipboard operation
vscode-tlaplus copied to clipboard

Workspace settings take precedence over (replace) User settings

Open lemmy opened this issue 4 years ago • 0 comments

With the following User and Workspace level settings

User: -cp /path/to/CommunityModules.jar Workspace: -XX:+UseParallelGC

The CommunityModules won't be added to Java's classpath, causing the EXTENDS to result in a parser error:

EXTENDS Functions

...

Took me ~15 minutes to find.

lemmy avatar Jun 17 '21 23:06 lemmy