330   SF.worker.onmessage = (ev)=>SF.runMsgHandlers(ev.data);  argument
331   SF.addMsgHandler(['stdout', 'stderr'], (ev)=>SF.echo(ev.data));
345   SF.addMsgHandler('module', function f(ev){  argument
346     ev = ev.data;
347     if('status'!==ev.type){
348       console.warn("Unexpected module-type message:",ev);
358     const msg = ev.data;
410     taInput.addEventListener('keydown',function(ev){  argument
411       if((ev.ctrlKey || ev.shiftKey) && 13 === ev.keyCode){
412         ev.preventDefault();
413         ev.stopPropagation();
424     btnShellExec.addEventListener('click',function(ev){  argument
426       ev.preventDefault();
470     SF.addMsgHandler('working',function f(ev){
471       switch(ev.data){
480       console.warn("Unhandled 'working' event:",ev.data);
554     SF.addMsgHandler('db-export', function(ev){  argument
556       ev = ev.data;
557       if(ev.error){
558         SF.echo("Export failed:",ev.error);
561       const blob = new Blob([ev.buffer],
566       a.download = ev.filename;
569           SF.echo("Exported (possibly auto-downloaded):",ev.filename);
587       r.addEventListener('progress', function(ev){  argument
588         SF.echo("Loading progress:",ev.loaded,"of",ev.total,"bytes.");