2 if(window.File && window.FileReader) {
4 alert("ご使用のブラウザはFile APIを実装しています");
6 alert("ご使用のブラウザはFile APIをサポートしていません");
10 document.getElementById("con").innerHTML="Please input File.";
11 var obj1 = document.getElementById("exsample");
13 obj1.addEventListener("change",function(evt){
14 document.getElementById("con").innerHTML="Complete upload!";
15 var file = evt.target.files;
17 var reader = new FileReader();
19 reader.readAsText(file[0]);
22 reader.onload = function(ev){
24 document.getElementById("change").innerHTML = reader.result;
25 //console.log(typeof reader.result);
27 textvalue=JSON.parse(reader.result);
28 //console.log(typeof textvalue);
29 document.forms.eucentric.maxtilt.value=textvalue['maxtilt'];
30 document.forms.eucentric.speed.value=textvalue['speed'];
31 document.forms.eucentric.zshift.value=textvalue['zshift'];
38 var text = document.getElementById('text').value;
39 //ファイル名を取得、デフォルトは「mytext」
40 var name = document.getElementById('name').value || 'mytext';
43 var blob = new Blob( [text], {type: 'text/plain'} );
46 var link = document.getElementById('DL_link') ;
47 //リンクにダウンロードするファイルをセット
48 link.href = window.URL.createObjectURL(blob);
51 if ('download' in link){
53 link.download = name + '.txt';
60 link.textContent = '右クリックから名前を付けて保存してください';