aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/util.ts
diff options
context:
space:
mode:
authorveetaha <[email protected]>2020-03-31 14:05:42 +0100
committerveetaha <[email protected]>2020-03-31 14:20:59 +0100
commit09a760e52e20dcd79d902b05065934615cc4d56b (patch)
treedcc97feaab96dcd25fc7712d38d6fd1cd189b113 /editors/code/src/util.ts
parent6f0d8db529478ce41b429f06708fa600a97c2151 (diff)
vscode: add syntax tree inspection hovers and highlights
Diffstat (limited to 'editors/code/src/util.ts')
-rw-r--r--editors/code/src/util.ts4
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/code/src/util.ts b/editors/code/src/util.ts
index 978a31751..6f91f81d6 100644
--- a/editors/code/src/util.ts
+++ b/editors/code/src/util.ts
@@ -65,12 +65,12 @@ export async function sendRequestWithRetry<TParam, TRet>(
65 throw 'unreachable'; 65 throw 'unreachable';
66} 66}
67 67
68function sleep(ms: number) { 68export function sleep(ms: number) {
69 return new Promise(resolve => setTimeout(resolve, ms)); 69 return new Promise(resolve => setTimeout(resolve, ms));
70} 70}
71 71
72export type RustDocument = vscode.TextDocument & { languageId: "rust" }; 72export type RustDocument = vscode.TextDocument & { languageId: "rust" };
73export type RustEditor = vscode.TextEditor & { document: RustDocument; id: string }; 73export type RustEditor = vscode.TextEditor & { document: RustDocument };
74 74
75export function isRustDocument(document: vscode.TextDocument): document is RustDocument { 75export function isRustDocument(document: vscode.TextDocument): document is RustDocument {
76 return document.languageId === 'rust' 76 return document.languageId === 'rust'