feat: sync mixly root files and common folder

This commit is contained in:
yczpf2019
2026-01-24 16:12:04 +08:00
parent 93e17c00ae
commit c8c5fcf726
2920 changed files with 186461 additions and 0 deletions

View File

@@ -0,0 +1,20 @@
var $builtinmodule = function (name) {
let mod= {__name__: new Sk.builtin.str("blocktool")};
var highlight = function(id) {
id=Sk.ffi.remapToJs(id)
Mixly.Editor.blockEditor.highlightBlock(id);
};
var highlight_f=function(block_id) {
return new Sk.misceval.promiseToSuspension(new Promise(function(resolve) {
setTimeout( () => {
highlight(block_id)
resolve(Sk.builtin.none.none$);
}, 800);
}));
}
mod.highlight = new Sk.builtin.func(highlight_f);
return mod;
}