From b37a1da2ec53f3afd82571cb9a2126de58a0fab0 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Mon, 25 Oct 2021 11:06:18 +0200
Subject: [PATCH] fix linting

---
 apps/remix-ide/src/app/editor/editor.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/apps/remix-ide/src/app/editor/editor.js b/apps/remix-ide/src/app/editor/editor.js
index 4d2cd1052e..6fc58ccc96 100644
--- a/apps/remix-ide/src/app/editor/editor.js
+++ b/apps/remix-ide/src/app/editor/editor.js
@@ -114,7 +114,7 @@ class Editor extends Plugin {
       this.currentTheme = translateTheme(theme)
       this.renderComponent()
     })
-    this.call('theme', 'currentTheme', (theme) => { 
+    this.call('theme', 'currentTheme', (theme) => {
       this.currentTheme = translateTheme(theme)
       this.renderComponent()
     })