Alternatively, just copy and paste the contents of the vscode.settings.json file to your VSCode settings file. You can manually trigger compilation by hitting the green button in the extension or ...