diff options
| author | Lucas Spits <[email protected]> | 2019-03-11 19:53:56 +0000 |
|---|---|---|
| committer | Lucas Spits <[email protected]> | 2019-03-11 19:53:56 +0000 |
| commit | 915c079e26a8da890d03b0a4a0960b06d45e66e2 (patch) | |
| tree | c7c82f4d7d3768529133138dba800e6040a85957 /editors/code/src/server.ts | |
| parent | de4ad44282785d0928824eda5f062c2367a870f7 (diff) | |
Fix typescript linting errors
Diffstat (limited to 'editors/code/src/server.ts')
| -rw-r--r-- | editors/code/src/server.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/server.ts b/editors/code/src/server.ts index 30ab874ab..b3a874b38 100644 --- a/editors/code/src/server.ts +++ b/editors/code/src/server.ts | |||
| @@ -24,7 +24,7 @@ export class Server { | |||
| 24 | 24 | ||
| 25 | if (workspace.workspaceFolders.length > 1) { | 25 | if (workspace.workspaceFolders.length > 1) { |
| 26 | // Tell the user that we do not support multi-root workspaces yet | 26 | // Tell the user that we do not support multi-root workspaces yet |
| 27 | window.showWarningMessage("Multi-root workspaces are not currently supported"); | 27 | window.showWarningMessage('Multi-root workspaces are not currently supported'); |
| 28 | } | 28 | } |
| 29 | } | 29 | } |
| 30 | 30 | ||