Differences From Artifact [691102dc43]:

• File extsrc/pikchr-worker.js — part of check-in [95b8022b0c] at 2025-03-05 12:11:08 on branch wasm-cache-workaround — Update pikchr to the latest check-in. (user: drh size: 7621)

To Artifact [d732ef358c]:

• File extsrc/pikchr-worker.js — part of check-in [369cb38315] at 2025-03-05 13:19:41 on branch wasm-cache-workaround — Automatically randomize the names of the "pikchr.js" and "pikchr.wasm" files after "make wasm", to force browser cache reloads. (user: drh size: 7623) [more...]

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-v32459876.js');
  importScripts('pikchr-v7583078860.js');
  /**
     initPikchrModule() is installed via pikchr.js due to
     building with:

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