From 24bee1cc255ccba4eb9513a0a92684047f2f9655 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Wed, 9 Nov 2016 15:23:33 +0100
Subject: [PATCH] save at compilation time

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

diff --git a/src/app.js b/src/app.js
index 359ffa3687..2956b442ca 100644
--- a/src/app.js
+++ b/src/app.js
@@ -554,6 +554,8 @@ var run = function () {
 
   compiler.event.register('compilationStarted', this, function () {
     editor.clearAnnotations()
+    var input = editor.getValue()
+    editor.setCacheFileContent(input)
   })
 
   function startdebugging (txHash) {