10c10 <   

--- >

42,54d41 < const pickerPdfOpts = { < types: [ < { < description: "PDF", < accept: { < "application/pdf": [".pdf"], < }, < }, < ], < excludeAcceptAllOption: true, < multiple: false, < }; < 69c56 < document.getElementById('mybut').title='Open Image and Edit ' + file.name.replace(/\ /g, '_') + ' ...'; --- > document.getElementById('mybut').title='Open Image and Edit ' + file.name + ' ...'; 87a75 > //getFile(); 89,104d76 < async function getPDFFile() { < // open file picker, destructure the one element returned array < [fileHandle] = await window.showOpenFilePicker(pickerPdfOpts); < < // run code with our fileHandle < const file = await fileHandle.getFile(); < const content = await file.arrayBuffer(); //text(); < const contents = _arrayBufferToBase64(content); < document.getElementById('pdfcont').value=contents; < document.getElementById('pdfname').value=file.name.replace(/\ /g, '_'); < < document.getElementById('mypdfbut').title='Open PDF and Extract ' + file.name.replace(/\ /g, '_') + ' ...'; < document.getElementById('mypdfbut').innerHTML='Open PDF and Extract ' + file.name.replace(/\ /g, '_') + ' ...'; < document.getElementById('cif').style.display='block'; < document.getElementById('pdfsub').click(); < } 107c79 < if (iois.src.indexOf('?') != -1 && iois.src.indexOf('php_calls_pdfimages.php') == -1) { --- > if (iois.src.indexOf('?') != -1) { 133,138c105 < <
< < < <
--- >