From 210fc97085bf433c5ccb6ad3bb033c41d0dd407d Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Tue, 2 Oct 2018 09:33:46 +0200
Subject: [PATCH] manual testing

---
 test-browser/plugin/index.html |  2 ++
 test-browser/plugin/plugin.js  | 10 ++++++++++
 2 files changed, 12 insertions(+)

diff --git a/test-browser/plugin/index.html b/test-browser/plugin/index.html
index d5bcaa2202..8cfca9e3e6 100644
--- a/test-browser/plugin/index.html
+++ b/test-browser/plugin/index.html
@@ -49,6 +49,8 @@
 		<input type="button" id="getcurrent">getcurrent</input> <br>
 		<input type="button" id="sethighlight">sethighlight</input> <br>
 		<input type="button" id="getfilesfrompath">getfilesfrompath</input> <br>
+		<input type="button" id="addnetwork">add network</input> <br>
+		<input type="button" id="removenetwork">remove network</input> <br>
 		<br>
 		<div id='compilationdata'></div>
 	</body>
diff --git a/test-browser/plugin/plugin.js b/test-browser/plugin/plugin.js
index d09e39bc72..f467b5c87e 100644
--- a/test-browser/plugin/plugin.js
+++ b/test-browser/plugin/plugin.js
@@ -78,4 +78,14 @@ window.onload = function () {
     extension.call('editor', 'getFilesFromPath', [document.getElementById('filename').value],
     function (error, result) { console.log(error, result) })
   })
+
+  document.querySelector('input#addnetwork').addEventListener('click', function () {
+    extension.call('app', 'addProvider', [document.getElementById('filename').value, document.getElementById('valuetosend').value],
+    function (error, result) { console.log(error, result) })
+  })
+
+  document.querySelector('input#removenetwork').addEventListener('click', function () {
+    extension.call('app', 'removeProvider', [document.getElementById('filename').value],
+    function (error, result) { console.log(error, result) })
+  })
 }