From d9906857d3fea108cf80569df4a1638388c76b39 Mon Sep 17 00:00:00 2001
From: Raphael Forment <raphael.forment@gmail.com>
Date: Wed, 6 Mar 2024 11:23:06 +0100
Subject: [PATCH] Fix theme defaulting to Everblush

---
 src/main.ts | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/src/main.ts b/src/main.ts
index bf03c5a..3af764a 100644
--- a/src/main.ts
+++ b/src/main.ts
@@ -213,14 +213,8 @@ export class Editor {
     loadUniverserFromUrl(this);
 
     // Set the color scheme for the application
-    let available_themes = Object.keys(colors);
-    if (this.settings.theme in available_themes) {
-      this.readTheme(this.settings.theme);
-    } else {
-      this.settings.theme = "Everblush";
-      this.readTheme(this.settings.theme);
-    }
-
+    this.readTheme(this.settings.theme);
+    
     this.documentationStyle = createDocumentationStyle(this);
     this.bindings = Object.keys(this.documentationStyle).map((key) => ({
       type: "output",