aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/commands/parent_module.ts
diff options
context:
space:
mode:
authorAdolfo OchagavĂ­a <[email protected]>2018-10-07 21:44:25 +0100
committerAdolfo OchagavĂ­a <[email protected]>2018-10-07 22:03:38 +0100
commit69de7e2fd71c3a808f0ac856d7b105eeb210f169 (patch)
tree62a163c43cb710cff18de6c7e8e47a81038ad1bb /editors/code/src/commands/parent_module.ts
parente4fdfd15012c983e4555996aa466b57d787e4385 (diff)
Refactor vscode extension
Diffstat (limited to 'editors/code/src/commands/parent_module.ts')
-rw-r--r--editors/code/src/commands/parent_module.ts22
1 files changed, 22 insertions, 0 deletions
diff --git a/editors/code/src/commands/parent_module.ts b/editors/code/src/commands/parent_module.ts
new file mode 100644
index 000000000..dae60bfb4
--- /dev/null
+++ b/editors/code/src/commands/parent_module.ts
@@ -0,0 +1,22 @@
1import * as vscode from 'vscode';
2
3import { TextDocumentIdentifier, Location } from "vscode-languageclient";
4import { Server } from '../server';
5
6export async function handle() {
7 let editor = vscode.window.activeTextEditor
8 if (editor == null || editor.document.languageId != "rust") return
9 let request: TextDocumentIdentifier = {
10 uri: editor.document.uri.toString()
11 }
12 let response = await Server.client.sendRequest<Location[]>("m/parentModule", request)
13 let loc = response[0]
14 if (loc == null) return
15 let uri = Server.client.protocol2CodeConverter.asUri(loc.uri)
16 let range = Server.client.protocol2CodeConverter.asRange(loc.range)
17
18 let doc = await vscode.workspace.openTextDocument(uri)
19 let e = await vscode.window.showTextDocument(doc)
20 e.selection = new vscode.Selection(range.start, range.start)
21 e.revealRange(range, vscode.TextEditorRevealType.InCenter)
22}