From 2a76fc7eea8e8580995733226b99a6f3d4f0be74 Mon Sep 17 00:00:00 2001
From: Raphael Forment <raphael.forment@gmail.com>
Date: Sat, 2 Sep 2023 21:49:39 +0200
Subject: [PATCH] small fix for play button

---
 src/API.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/API.ts b/src/API.ts
index 4ebed08..895f523 100644
--- 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 = () => {