From cc88245933596f55c787b0bc028dbf33bb2518e4 Mon Sep 17 00:00:00 2001
From: RMidhunSuresh <hi@midhun.dev>
Date: Wed, 11 May 2022 15:46:12 +0530
Subject: [PATCH] Create themeLoader only if not dev

---
 src/platform/web/Platform.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/platform/web/Platform.js b/src/platform/web/Platform.js
index e2628351..ed117b3d 100644
--- a/src/platform/web/Platform.js
+++ b/src/platform/web/Platform.js
@@ -165,7 +165,7 @@ export class Platform {
         this._disposables = new Disposables();
         this._olmPromise = undefined;
         this._workerPromise = undefined;
-        this._themeLoader = new ThemeLoader(this);
+        this._themeLoader = import.meta.env.DEV? null: new ThemeLoader(this);
     }
 
     async init() {
@@ -181,8 +181,8 @@ export class Platform {
             this._config.push
         );
         const manifests = this.config["themeManifests"];
-        await this._themeLoader.init(manifests);
-        await this._themeLoader.loadThemeFromSetting();
+        await this._themeLoader?.init(manifests);
+        await this._themeLoader?.loadThemeFromSetting();
     }
 
     _createLogger(isDevelopment) {