mirror of
https://github.com/pyscript/pyscript.git
synced 2025-12-19 18:27:29 -05:00
Add typing for tagExecutionLock (#1235)
This commit is contained in:
@@ -64,7 +64,7 @@ export class PyScriptApp {
|
||||
PyScript: ReturnType<typeof make_PyScript>;
|
||||
plugins: PluginManager;
|
||||
_stdioMultiplexer: StdioMultiplexer;
|
||||
tagExecutionLock: any; // this is used to ensure that py-script tags are executed sequentially
|
||||
tagExecutionLock: ReturnType<typeof createLock>; // this is used to ensure that py-script tags are executed sequentially
|
||||
|
||||
constructor() {
|
||||
// initialize the builtin plugins
|
||||
|
||||
Reference in New Issue
Block a user