Differences From Artifact [66897124a5]:

• File extsrc/pikchr-worker.js — part of check-in [44e1c41986] at 2025-03-01 00:04:50 on branch trunk — Tiny pikchr-internal doc updates. No functional changes. (user: stephan size: 7472) [more...]

To Artifact [9ca88da4d4]:

• File extsrc/pikchr-worker.js — part of check-in [cebd126de3] at 2025-03-05 00:40:25 on branch wasm-cache-workaround — Update to the latest pikchr.c. If then the "pikchr.wasm" filename in the generated extsrc/pikchr.js file is changes to something like "pikchr-v12345678.wasm" and if the "pikchr.js" filename in extsrc/pikchr-worker.js is change similarly, and if the cache is disabled in the browser, then the new version of pikchr loads immediately and without hassle. (user: drh size: 7482)

204
205
206
207
208
209
210
211

212
213
214
215
216
217
218

204
205
206
207
208
209
210

211
212
213
214
215
216
217
218

-
+

      wMsg('module',{
        type:'status',
        data:{step: ++f.last.step, text: text||null}
      });
    }
  };

  importScripts('pikchr.js');
  importScripts('pikchr-v23459876.js');
  /**
     initPikchrModule() is installed via pikchr.js due to
     building with:

     emcc ... -sMODULARIZE=1 -sEXPORT_NAME=initPikchrModule
  */
  initPikchrModule(pikchrModule).then(function(thisModule){