Introduce compile button

bmcd · Sep 7, 2016 · 3cea49f · 3cea49f
1 parent cbb7540
commit 3cea49f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/index.html b/index.html
@@ -91,6 +91,7 @@
 						<div class="crow">
 							<label for="editorWrap"><input id="editorWrap" type="checkbox">Text Wrap</label>
 							<label for="optimize"><input id="optimize" type="checkbox">Enable Optimization</label>
+							<button id="compile" title="Compile source code"><i class="fa fa-cog"></i> Compile</button>
 						</div>
 					</div>
 					<div id="publishView">

diff --git a/src/app.js b/src/app.js
@@ -436,6 +436,10 @@ var run = function () {
 
   var renderer = new Renderer(editor, executionContext.web3(), updateFiles, udapp, executionContext, formalVerification.event, compiler.event); // eslint-disable-line
 
+  $('#compile').click(function () {
+    compiler.compile();
+  });
+
   executionContext.event.register('contextChanged', this, function (context) {
     compiler.compile();
   });