From a7a447677ff6970923e5885a85a5aa750589a4ad Mon Sep 17 00:00:00 2001
From: Raphael Forment <raphael.forment@gmail.com>
Date: Sat, 26 Aug 2023 20:44:14 +0200
Subject: [PATCH] better play pause

---
 src/Documentation.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Documentation.ts b/src/Documentation.ts
index d00d55e..eb77485 100644
--- a/src/Documentation.ts
+++ b/src/Documentation.ts
@@ -44,8 +44,8 @@ export const documentation_factory = (application: Editor) => {
   ): string => {
     return `
 <details ${open ? "open" : ""}>
-<summary>${description}<button class="inline-block pl-2" onclick="(()=>_executeCodeExample(${code})})()">▶</button>
-<button class="inline-block pl-2" onclick="(()=>stop)()">⏹</button>
+<summary>${description}<button class="inline-block pl-2" onclick="(()=>_executeCodeExample(${code})})()">&#9654;</button>
+<button class="inline-block pl-2" onclick="(()=>stop)()">&#10074;&#10074;</button>
 </summary>
 
 \`\`\`javascript