webrepl.html: Deselect previously selected file before reading

mcauser · mcauser · commit 8ea1afd4749f · 2016-08-29T21:27:00.000+10:00
Without this, if you select a file, make modifications and select the
same file again, it does not read the latest changes as the file inputs
change event does not fire. To work around, you have to select a
different file, or cancel the file dialog to clear the field value
before trying your modified file again.
diff --git a/webrepl.html b/webrepl.html
@@ -335,6 +335,10 @@
     reader.readAsArrayBuffer(f);
 }
 
+document.getElementById('put-file-select').addEventListener('click', function(){
+    this.value = null;
+}, false);
+
 document.getElementById('put-file-select').addEventListener('change', handle_put_file_select, false);
 document.getElementById('put-file-button').disabled = true;
 

Original file line number	Diff line number	Diff line change
`@@ -335,6 +335,10 @@`
`335`	`335`	`reader.readAsArrayBuffer(f);`
`336`	`336`	`}`
`337`	`337`
	`338`	`+document.getElementById('put-file-select').addEventListener('click', function(){`
	`339`	`+ this.value = null;`
	`340`	`+}, false);`
	`341`	`+`
`338`	`342`	`document.getElementById('put-file-select').addEventListener('change', handle_put_file_select, false);`
`339`	`343`	`document.getElementById('put-file-button').disabled = true;`
`340`	`344`