Support gzipped files in single file mode (curiousdannii/parchment#146)

Author: curiousdannii

package.json

@@ -15,6 +15,7 @@
   "dependencies": {
     "base32768": "^3.0.1",
     "body-scroll-lock": "^4.0.0-beta.0",
+    "fflate": "^0.8.2",
     "file-saver": "^2.0.5",
     "glkaudio": "file:src/glkaudio/pkg",
     "lodash-es": "^4.17.21",

src/common/file.ts

@@ -9,6 +9,8 @@ https://github.com/curiousdannii/asyncglk
 
 */
 
+import {gunzipSync} from 'fflate'
+
 export type ProgressCallback = (bytes: number) => void
 
 export type TruthyOption = boolean | number
@@ -48,14 +50,19 @@ export async function fetch_resource(options: DownloadOptions, path: string, pro
 async function fetch_resource_inner(options: DownloadOptions, path: string, progress_callback?: ProgressCallback) {
     // Handle embedded resources in single file mode
     if (options.single_file) {
-        const data = (document.getElementById(path) as HTMLScriptElement).text
+        const node = document.getElementById(path) as HTMLScriptElement
+        const data_base64 = node.text
         if (path.endsWith('.js')) {
-            return import(`data:text/javascript,${encodeURIComponent(data)}`)
+            return import(`data:text/javascript,${encodeURIComponent(data_base64)}`)
         }
         if (!path.endsWith('.wasm')) {
             throw new Error(`Can't load ${path} in single file mode`)
         }
-        return parse_base64(data)
+        let data = await parse_base64(data_base64)
+        if (node.type.endsWith(';gzip')) {
+            data = gunzipSync(data)
+        }
+        return data
     }
 
     // Handle when lib_path is a proper URL (such as import.meta.url), as well as the old style path fragment