change button text

JuliaPluto · Aug 10, 2024 · d5b237d · d5b237d
1 parent c7e1601
commit d5b237d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/notebook.jl b/src/notebook.jl
@@ -595,7 +595,7 @@ function turtle_drawing(f::Function;
 		div.appendChild(line_highlighter)
 
 		const restart_btn = document.createElement("button")
-		restart_btn.innerText = "Restart"
+		restart_btn.innerText = "Play again"
 		restart_btn.style.cssText = `
 			position: absolute;
 			bottom: .3em;