Fix typescript linting errors

diff --git a/editors/code/src/server.ts b/editors/code/src/server.ts
index 30ab874ab32dfeae4024c0736bf32a33d1c185ed..b3a874b381518e8dfcf9abf8ed4c585c74e0d4ec 100644 (file)
--- a/editors/code/src/server.ts
+++ b/editors/code/src/server.ts
@@ -24,7 +24,7 @@ export class Server {
             
             if (workspace.workspaceFolders.length > 1) {
                 // Tell the user that we do not support multi-root workspaces yet
-                window.showWarningMessage("Multi-root workspaces are not currently supported");
+                window.showWarningMessage('Multi-root workspaces are not currently supported');
             }
         }