From 4fdd69c2816b26ce3cc78ee62045a0ebea1e5b2d Mon Sep 17 00:00:00 2001 From: Raphael Forment Date: Mon, 28 Aug 2023 20:45:21 +0200 Subject: [PATCH] do not erase the welcome universe entirely, only global file --- src/main.ts | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/main.ts b/src/main.ts index 9ffed1c..f71fe60 100644 --- a/src/main.ts +++ b/src/main.ts @@ -192,9 +192,11 @@ export class Editor { // Loading the universe from local storage // ================================================================================ - this.universes = { ...template_universes, ...this.settings.universes }; + this.universes = { ...this.settings.universes, ...template_universes }; this.selected_universe = "Welcome"; this.universe_viewer.innerHTML = `Topos: ${this.selected_universe}`; + + // Picking a random example to populate the landing page let random_example = examples[Math.floor(Math.random() * examples.length)]; this.universes[this.selected_universe].global.committed = random_example; this.universes[this.selected_universe].global.candidate = random_example;