/// /// /// /// /// /// import * as dialogs from "./dialogs"; import * as flash from "./flash"; import * as patch from "./patch"; pxt.editor.initExtensionsAsync = function (opts: pxt.editor.ExtensionOptions): Promise { pxt.debug('loading microbit target extensions...') const manyAny = Math as any; if (!manyAny.imul) manyAny.imul = function (a: number, b: number): number { const ah = (a >>> 16) & 0xffff; const al = a & 0xffff; const bh = (b >>> 16) & 0xffff; const bl = b & 0xffff; // the shift by 0 fixes the sign on the high part // the final |0 converts the unsigned value into a signed value return ((al * bl) + (((ah * bl + al * bh) << 16) >>> 0) | 0); }; const res: pxt.editor.ExtensionResult = { hexFileImporters: [{ id: "blockly", canImport: data => data.meta.cloudId == "microbit.co.uk" && data.meta.editor == "blockly", importAsync: (project, data) => { pxt.tickEvent('import.legacyblocks.redirect'); return dialogs.cantImportAsync(project); } }, { id: "td", canImport: data => data.meta.cloudId == "microbit.co.uk" && data.meta.editor == "touchdevelop", importAsync: (project, data) => { pxt.tickEvent('import.legacytd.redirect'); return dialogs.cantImportAsync(project); } }] }; pxt.usb.setFilters([{ vendorId: 0x1366, productId: 0x1025 }, { vendorId: 0x0D28, productId: 0x0204 }]) res.mkPacketIOWrapper = flash.mkDAPLinkPacketIOWrapper; res.blocklyPatch = patch.patchBlocks; res.renderBrowserDownloadInstructions = dialogs.renderBrowserDownloadInstructions; res.renderUsbPairDialog = dialogs.renderUsbPairDialog; return Promise.resolve(res); }