From 5fdd77f0462c3b50a394784c636aafff91817902 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Mon, 17 Jul 2017 17:33:16 +0200
Subject: [PATCH] standard

---
 src/app.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/app.js b/src/app.js
index 183f92b054..32b0eab86e 100644
--- a/src/app.js
+++ b/src/app.js
@@ -753,7 +753,6 @@ var run = function () {
           switchToFile(source)
         }
         this.statementMarker = editor.addMarker(lineColumnPos, 'highlightcode')
-        
         editor.scrollToLine(lineColumnPos.start.line, true, true, function () {})
 
         if (lineColumnPos.start.line === lineColumnPos.end.line) {