do not erase the welcome universe entirely, only global file

This commit is contained in:
2023-08-28 20:45:21 +02:00
parent db660e9308
commit 4fdd69c281

View File

@ -192,9 +192,11 @@ export class Editor {
// Loading the universe from local storage // 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.selected_universe = "Welcome";
this.universe_viewer.innerHTML = `Topos: ${this.selected_universe}`; 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)]; 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.committed = random_example;
this.universes[this.selected_universe].global.candidate = random_example; this.universes[this.selected_universe].global.candidate = random_example;