From 8349e4cebd25b5fc0fa7a513b53d47a9de89f06a Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Thu, 15 Jun 2017 15:00:52 +0200
Subject: [PATCH] standard

---
 src/app.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/app.js b/src/app.js
index 6c725fcc7b..14e3dbd02f 100644
--- a/src/app.js
+++ b/src/app.js
@@ -490,7 +490,7 @@ var run = function () {
     compiler: compiler.event,
     app: self.event
   }
-  var righthandPanel = new RighthandPanel(document.body, rhpAPI, rhpEvents, {})
+  var righthandPanel = new RighthandPanel(document.body, rhpAPI, rhpEvents, {}) // eslint-disable-line
 // ------------------------------------------------------------
   var executionContext = new ExecutionContext()
   // ----------------- editor resize ---------------
@@ -921,7 +921,6 @@ var run = function () {
 
     loadVersion('builtin')
   })
-
 }
 
 module.exports = {