diff options
| author | David Lattimore <[email protected]> | 2020-07-24 13:23:14 +0100 |
|---|---|---|
| committer | David Lattimore <[email protected]> | 2020-07-24 13:23:14 +0100 |
| commit | 58680cb08ea535e1fb567416fa3466a744a01b99 (patch) | |
| tree | 9ca1001a8d53bdcf651558d7527f3dffd7816a22 /editors | |
| parent | 3dac31fe80b9d7279e87b94615b0d55805e83412 (diff) | |
SSR: Fix a typescript lint warning
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/code/src/commands.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/commands.ts b/editors/code/src/commands.ts index 3ae995705..c21e5597c 100644 --- a/editors/code/src/commands.ts +++ b/editors/code/src/commands.ts | |||
| @@ -190,7 +190,7 @@ export function ssr(ctx: Ctx): Cmd { | |||
| 190 | if (!editor || !client) return; | 190 | if (!editor || !client) return; |
| 191 | 191 | ||
| 192 | const position = editor.selection.active; | 192 | const position = editor.selection.active; |
| 193 | let textDocument = { uri: editor.document.uri.toString() }; | 193 | const textDocument = { uri: editor.document.uri.toString() }; |
| 194 | 194 | ||
| 195 | const options: vscode.InputBoxOptions = { | 195 | const options: vscode.InputBoxOptions = { |
| 196 | value: "() ==>> ()", | 196 | value: "() ==>> ()", |