Lines Matching refs:opt

326       let opt;
328         opt = document.createElement('option');
329         opt.innerText = "Select file to evaluate...";
330         opt.value = '';
331         opt.disabled = true;
332         opt.selected = true;
333         sel.appendChild(opt);
337         opt = document.createElement('option');
338         opt.value = fn;
339         opt.innerText = fn.split('/').pop();
340         sel.appendChild(opt);
456         for(let opt of this.e.selImpl.options){
457           const d = this.dbs[opt.value] = Object.create(null);
458           d.id = opt.value;
475                 this.logErr("Unhandled db selection option (see details in the console).",opt);