Closed radiantly closed 3 years ago
The config that stored the temporary directory was internally called scratchDirectory vs tempDirectory in the actual preferences, so it doesn't work when setting it through the extension settings. This PR fixes this issue.
scratchDirectory
tempDirectory
The config that stored the temporary directory was internally called
scratchDirectory
vstempDirectory
in the actual preferences, so it doesn't work when setting it through the extension settings. This PR fixes this issue.