diff --git a/src/API.ts b/src/API.ts index dc9ca6c..504738b 100644 --- a/src/API.ts +++ b/src/API.ts @@ -66,7 +66,7 @@ export class UserAPI { this.app.universes, this.app.settings ); - this.app.openBuffersModal(); + this.app.updateKnownUniversesView(); } _playDocExample = (code?: string) => { diff --git a/src/main.ts b/src/main.ts index f39fff9..a13517c 100644 --- a/src/main.ts +++ b/src/main.ts @@ -241,9 +241,6 @@ export class Editor { // ================================================================================ // Building the documentation - // loadSamples().then(() => { - // this.docs = documentation_factory(this); - // }); let pre_loading = async () => { await loadSamples(); }; pre_loading(); this.docs = documentation_factory(this); @@ -311,18 +308,7 @@ export class Editor { // This is the modal to switch between universes if (event.ctrlKey && event.key === "b") { this.hideDocumentation(); - let existing_universes = document.getElementById("existing-universes"); - let known_universes = Object.keys(this.universes); - let final_html = "
${name}
- -${name}
+ +