manual test fetFilesFromPath

test-browser/plugin/index.html

@@ -48,6 +48,7 @@
 		<input type="button" id="getcontentof">getcontentof</input> <br>
 		<input type="button" id="getcurrent">getcurrent</input> <br>
 		<input type="button" id="sethighlight">sethighlight</input> <br>
+		<input type="button" id="getfilesfrompath">getfilesfrompath</input> <br>
 		<br>
 		<div id='compilationdata'></div>
 	</body>

test-browser/plugin/plugin.js

@@ -73,4 +73,9 @@ window.onload = function () {
     extension.call('editor', 'highlight', [document.getElementById('filename').value, document.getElementById('valuetosend').value, document.getElementById('valuetosend2').value],
     function (error, result) { console.log(error, result) })
   })
+
+  document.querySelector('input#getfilesfrompath').addEventListener('click', function () {
+    extension.call('editor', 'getFilesFromPath', [document.getElementById('filename').value],
+    function (error, result) { console.log(error, result) })
+  })
 }