manual testing

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>

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) })
+  })
 }