Kikketer/feat raw elf four player

webapp/src/dialogs.tsx

@@ -747,9 +747,15 @@ export function promptTranslateBlock(blockid: string, blockTranslationIds: strin
 export function renderBrowserDownloadInstructions(saveonly?: boolean, redeploy?: () => Promise<void>) {
     const boardName = pxt.appTarget.appTheme.boardName || lf("device");
     const boardDriveName = pxt.appTarget.appTheme.driveDisplayName || pxt.appTarget.compile.driveName || "???";
-    const fileExtension = pxt.appTarget.compile?.useUF2 ? ".uf2" : ".hex";
+    let fileExtension = ".hex";
     const webUSBSupported = pxt.usb.isEnabled && pxt.appTarget?.compile?.webUSB;
 
+    if (pxt.appTarget.compile?.switches?.rawELF) {
+      fileExtension = ".elf";
+    } else if (pxt.appTarget.compile?.useUF2) {
+      fileExtension = ".uf2";
+    }
+
     const onPairClicked = async () => {
         core.hideDialog();
         const successfulPairing = await pairAsync(true);