diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-10-08 20:39:52 +0100 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-10-08 20:39:52 +0100 |
commit | f4ad36e972989c3feed8671d6d6fca0aed37cd8f (patch) | |
tree | f60e1aa4703c3e176315ecd886206848028b8cbf /editors/code/src/commands/join_lines.ts | |
parent | a05e09e9c514878148ddf26aa76d6b9183583d0f (diff) | |
parent | bbf38b9e722e8d6455828ff22242c92219da346d (diff) |
Merge #103
103: WIP: refactor vscode extension r=aochagavia a=aochagavia
Todo:
- [x] Add more comments, so other people can find their way in the codebase
- [x] Resolve remaining tslint suggestions
- [ ] Integrate with CI
@matklad The standard configuration of tslint forbids using `console.log` and `console.error`. Is there any reason we are using those or can I remove them? If they are used for debugging purposes I would prefer to remove them and rely on vscode's excellent debugger.
Co-authored-by: Adolfo OchagavĂa <[email protected]>
Diffstat (limited to 'editors/code/src/commands/join_lines.ts')
-rw-r--r-- | editors/code/src/commands/join_lines.ts | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/editors/code/src/commands/join_lines.ts b/editors/code/src/commands/join_lines.ts new file mode 100644 index 000000000..526b698cc --- /dev/null +++ b/editors/code/src/commands/join_lines.ts | |||
@@ -0,0 +1,21 @@ | |||
1 | import * as vscode from 'vscode'; | ||
2 | |||
3 | import { Range, TextDocumentIdentifier } from 'vscode-languageclient'; | ||
4 | import { Server } from '../server'; | ||
5 | import { handle as applySourceChange, SourceChange } from './apply_source_change'; | ||
6 | |||
7 | interface JoinLinesParams { | ||
8 | textDocument: TextDocumentIdentifier; | ||
9 | range: Range; | ||
10 | } | ||
11 | |||
12 | export async function handle() { | ||
13 | const editor = vscode.window.activeTextEditor; | ||
14 | if (editor == null || editor.document.languageId !== 'rust') { return; } | ||
15 | const request: JoinLinesParams = { | ||
16 | range: Server.client.code2ProtocolConverter.asRange(editor.selection), | ||
17 | textDocument: { uri: editor.document.uri.toString() }, | ||
18 | }; | ||
19 | const change = await Server.client.sendRequest<SourceChange>('m/joinLines', request); | ||
20 | await applySourceChange(change); | ||
21 | } | ||