diff options
Diffstat (limited to 'editors/code/src/commands.ts')
-rw-r--r-- | editors/code/src/commands.ts | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/editors/code/src/commands.ts b/editors/code/src/commands.ts index d0faf4745..69f2836ad 100644 --- a/editors/code/src/commands.ts +++ b/editors/code/src/commands.ts | |||
@@ -63,7 +63,7 @@ export function memoryUsage(ctx: Ctx): Cmd { | |||
63 | provideTextDocumentContent(_uri: vscode.Uri): vscode.ProviderResult<string> { | 63 | provideTextDocumentContent(_uri: vscode.Uri): vscode.ProviderResult<string> { |
64 | if (!vscode.window.activeTextEditor) return ''; | 64 | if (!vscode.window.activeTextEditor) return ''; |
65 | 65 | ||
66 | return ctx.client.sendRequest(ra.memoryUsage, null).then((mem) => { | 66 | return ctx.client.sendRequest(ra.memoryUsage, null).then((mem: any) => { |
67 | return 'Per-query memory usage:\n' + mem + '\n(note: database has been cleared)'; | 67 | return 'Per-query memory usage:\n' + mem + '\n(note: database has been cleared)'; |
68 | }); | 68 | }); |
69 | } | 69 | } |
@@ -121,7 +121,7 @@ export function joinLines(ctx: Ctx): Cmd { | |||
121 | textDocument: { uri: editor.document.uri.toString() }, | 121 | textDocument: { uri: editor.document.uri.toString() }, |
122 | }); | 122 | }); |
123 | editor.edit((builder) => { | 123 | editor.edit((builder) => { |
124 | client.protocol2CodeConverter.asTextEdits(items).forEach((edit) => { | 124 | client.protocol2CodeConverter.asTextEdits(items).forEach((edit: any) => { |
125 | builder.replace(edit.range, edit.newText); | 125 | builder.replace(edit.range, edit.newText); |
126 | }); | 126 | }); |
127 | }); | 127 | }); |
@@ -140,8 +140,8 @@ export function onEnter(ctx: Ctx): Cmd { | |||
140 | position: client.code2ProtocolConverter.asPosition( | 140 | position: client.code2ProtocolConverter.asPosition( |
141 | editor.selection.active, | 141 | editor.selection.active, |
142 | ), | 142 | ), |
143 | }).catch(_error => { | 143 | }).catch((_error: any) => { |
144 | // client.logFailedRequest(OnEnterRequest.type, error); | 144 | // client.handleFailedRequest(OnEnterRequest.type, error, null); |
145 | return null; | 145 | return null; |
146 | }); | 146 | }); |
147 | if (!lcEdits) return false; | 147 | if (!lcEdits) return false; |