small fix for play button

2023-09-02 21:49:39 +02:00
parent 1c634f2678
commit 2a76fc7eea
1 changed files with 1 additions and 1 deletions
--- a/src/API.ts
+++ b/src/API.ts
@ -83,7 +83,6 @@ export class UserAPI {
     *
     * @param code - The code example to play (identifier)
     */
-
    let current_universe = this.app.universes[this.app.selected_universe];
    this.app.exampleIsPlaying = true;
    if (!current_universe.example) {
@ -100,6 +99,7 @@ export class UserAPI {
        ? code
        : (this.app.selectedExample as string);
    }
+    this.play();
  };

  _stopDocExample = () => {