Make autocompile a configuration item

7bb10cd1 · Alex Beregszaszi · a451c5f3 · 7bb10cd1
Commit 7bb10cd1 authored Jan 17, 2017 by Alex Beregszaszi
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 0 deletions

app.js src/app.js +5 -0

No files found.
--- 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 () {