From e79972f989c8fb368c70dda4fb7afab31e656502 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Wed, 12 Sep 2018 09:14:12 +0200
Subject: [PATCH] manual test fetFilesFromPath

---
 test-browser/plugin/index.html | 1 +
 test-browser/plugin/plugin.js  | 5 +++++
 2 files changed, 6 insertions(+)

diff --git a/test-browser/plugin/index.html b/test-browser/plugin/index.html
index f81dc19b70..d5bcaa2202 100644
--- a/test-browser/plugin/index.html
+++ b/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>
diff --git a/test-browser/plugin/plugin.js b/test-browser/plugin/plugin.js
index 27e1305de3..d09e39bc72 100644
--- a/test-browser/plugin/plugin.js
+++ b/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) })
+  })
 }