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
<
<