a
/
code-server
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix IDE typing for custom event

This commit is contained in:
Kyle Carberry 2019-02-27 09:38:45 -06:00
parent 0b5b7afbac
commit f421de29d0
No known key found for this signature in database
GPG Key ID: A0409BDB6B0B3EDB
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
packages/ide-api/api.d.ts vendored
View File

@ -127,6 +127,6 @@ declare global {
interface Window { interface Window {
ide?: typeof ide; ide?: typeof ide;
addEventListener(event: "ide-ready", callback: (ide: CustomEvent & { readonly ide: IdeApi }) => void): void; addEventListener(event: "ide-ready", callback: (ide: CustomEvent & { readonly ide: typeof ide }) => void): void;
} }
} }