allow playing mid with external player

This commit is contained in:
josc146
2023-12-12 22:13:09 +08:00
parent b14fbc29b7
commit 0c796c8cfc
11 changed files with 113 additions and 25 deletions

View File

@@ -58,8 +58,12 @@ export function ReadJson(arg1:string):Promise<any>;
export function RestartApp():Promise<void>;
export function SaveFile(arg1:string,arg2:Array<number>):Promise<void>;
export function SaveJson(arg1:string,arg2:any):Promise<void>;
export function StartFile(arg1:string):Promise<void>;
export function StartServer(arg1:string,arg2:number,arg3:string,arg4:boolean,arg5:boolean,arg6:boolean):Promise<string>;
export function StartWebGPUServer(arg1:number,arg2:string):Promise<string>;