34     const tryStorage = function f(obj){  function
35       if(!f.key) f.key = 'storage.access.check';
37         obj.setItem(f.key, 'f');
38         const x = obj.getItem(f.key);
39         obj.removeItem(f.key);
40         if(x!=='f') throw new Error(f.key+" failed")
142       getJSON: function f(k,dflt){
144           const x = this.get(k,f);
145           return x===f ? dflt : JSON.parse(x);
231           echo: function f(text) {
237             if(!f._){
238               f._ = document.getElementById('output');
239               f._.value = ''; // clear browser cache
249               f._.value = '';
253               f._.value = '';
257             f._.value += text + "\n";
259               f._.scrollTop = f._.scrollHeight;
265           addMsgHandler: function f(type,callback){
284             list.forEach((f)=>f(msg));
345   SF.addMsgHandler('module', function f(ev){  function
351     if(!f.ui){
352       f.ui = {
359     if(f.ui.progres){
364       f.ui.progress.classList.remove('hidden');
365       f.ui.spinner.classList.remove('hidden');
368       f.ui.status.classList.remove('hidden');
369       f.ui.status.innerText = msg.text;
371       if(f.ui.progress){
372         f.ui.progress.remove();
373         f.ui.spinner.remove();
374         delete f.ui.progress;
375         delete f.ui.spinner;
377       f.ui.status.classList.add('hidden');
445     const preStartWork = function f(){  function
446       if(!f._){
448         f._ = {
454       f._.pageTitle.innerText = "[working...] "+f._.pageTitleOrig;
462     SF.dbExec = function f(sql){
470     SF.addMsgHandler('working',function f(ev){
535     const enableMutatingElements = function f(enable){
536       if(!f._elems){
537         f._elems = [
546       f._elems.forEach( enable
580       const f = this.files[0];
585         SF.echo("Loading",f.name,"...");
593         SF.echo("Loaded",f.name+". Opening db...");
595           filename: f.name,
601         SF.echo("Loading",f.name,"failed for unknown reasons.");
605         SF.echo("Cancelled loading of",f.name+".");
607       r.readAsArrayBuffer(f);
628     const effectiveHeight = function f(e){
630       if(!f.measure){
631         f.measure = function callee(e, depth){
644             f.extra += callee.bottom - callee.top;
646           return f.extra;
649       f.extra = 0;
650       f.measure(e,0);
651       return f.extra;
667     const debounce = function f(func, wait, immediate) {
669       if(!wait) wait = f.$defaultDelay;
698       const resized = function f(){  function in self.onSFLoaded.ForceResizeKludge
699         if(f.$disabled) return;
798       btnToggleView.addEventListener('click',function f(){