From 7cbe06f904894e99943bad11a2c55e6a9421ac8e Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Mon, 2 Jul 2018 16:29:49 +0200
Subject: [PATCH] standard

---
 src/app/panels/editor-panel.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/app/panels/editor-panel.js b/src/app/panels/editor-panel.js
index 27b5c3d108..5f9c62cbc0 100644
--- a/src/app/panels/editor-panel.js
+++ b/src/app/panels/editor-panel.js
@@ -59,7 +59,7 @@ class EditorPanel {
         }
       })
     }
-    
+
     self._components.terminal.event.register('filterChanged', (type, value) => {
       this.event.trigger('terminalFilterChanged', [type, value])
     })