new universe switching window

This commit is contained in:
2023-08-27 12:29:57 +02:00
parent 474b2c61d1
commit 9974487f79
5 changed files with 49 additions and 3 deletions

View File

@ -55,6 +55,16 @@ export class UserAPI {
constructor(public app: Editor) {}
_loadUniverseFromInterface = (universe: string) => {
this.app.loadUniverse(universe as string);
this.app.openBuffersModal();
}
_deleteUniverseFromInterface = (universe: string) => {
delete this.app.universes[universe];
this.app.openBuffersModal();
}
_playDocExample = (code?: string) => {
this.play();
console.log("Executing documentation example: " + this.app.selectedExample);