We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 06abb75 commit 0dd4cfbCopy full SHA for 0dd4cfb
src/utils/editor.ts
@@ -81,8 +81,10 @@ export class Editor {
81
self.log("EXTENSION: Conflict detected between local and remote, prompting user to choose one")
82
vscode.window
83
.showInformationMessage(
84
- "The program on file differs from the one on the Source Academy servers." +
85
- "Which program should we use? (Note that picking one will overwrite the other)",
+ [
+ "The program on file differs from the one on the Source Academy servers.",
86
+ "Which program should we use? (Note that picking one will overwrite the other)",
87
+ ].join(' '),
88
"Local", "Server")
89
.then(async answer => {
90
// By default the code displayed is the local one
0 commit comments