diff options
Diffstat (limited to 'editors/code/src/util.ts')
-rw-r--r-- | editors/code/src/util.ts | 4 |
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 | ||
68 | function sleep(ms: number) { | 68 | export function sleep(ms: number) { |
69 | return new Promise(resolve => setTimeout(resolve, ms)); | 69 | return new Promise(resolve => setTimeout(resolve, ms)); |
70 | } | 70 | } |
71 | 71 | ||
72 | export type RustDocument = vscode.TextDocument & { languageId: "rust" }; | 72 | export type RustDocument = vscode.TextDocument & { languageId: "rust" }; |
73 | export type RustEditor = vscode.TextEditor & { document: RustDocument; id: string }; | 73 | export type RustEditor = vscode.TextEditor & { document: RustDocument }; |
74 | 74 | ||
75 | export function isRustDocument(document: vscode.TextDocument): document is RustDocument { | 75 | export function isRustDocument(document: vscode.TextDocument): document is RustDocument { |
76 | return document.languageId === 'rust' | 76 | return document.languageId === 'rust' |