From 7bb10cd18455e6b3e9575a88cfe0769ea1862ca0 Mon Sep 17 00:00:00 2001
From: Alex Beregszaszi <alex@rtfs.hu>
Date: Tue, 17 Jan 2017 00:05:57 +0000
Subject: [PATCH] Make autocompile a configuration item

---
 src/app.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/app.js b/src/app.js
index 58a6ae764e..152bf2fb84 100644
--- a/src/app.js
+++ b/src/app.js
@@ -524,9 +524,14 @@ var run = function () {
   $('#staticanalysisView').append(staticanalysis.render())
 
   var autoCompile = document.querySelector('#autoCompile').checked
+  if (config.exists('autoCompile')) {
+    autoCompile = config.get('autoCompile')
+    $('#autoCompile').checked = autoCompile
+  }
 
   document.querySelector('#autoCompile').addEventListener('change', function () {
     autoCompile = document.querySelector('#autoCompile').checked
+    config.set('autoCompile', autoCompile)
   })
 
   function runCompiler () {