From a17673f1b3ef31cce1cd2370f007034097a206b2 Mon Sep 17 00:00:00 2001
From: Neil Parikh <neil@stripe.com>
Date: Thu, 8 Aug 2024 17:04:24 -0700
Subject: [PATCH] add an option to change the title

---
 docs/index.html | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/docs/index.html b/docs/index.html
index 0cb4d7645..7809c193b 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -252,6 +252,8 @@
             <a href="#" id="toggle-editor-only">Toggle editor only</a>
           </li><li>
             <a href="#" id="vim-button">Toggle Vim keybindings</a>
+          </li><li>
+            <a href="#" id="change-title">Change Title</a>
           </li><li>
             <a href="#" id="create-issue-from-example">Create issue with example</a>
           </li>
@@ -277,12 +279,17 @@
 <script src="monaco/lib/main.bundle.js"></script>
 <script>
   (function() {
-    var button = document.getElementById('toggle-editor-only');
-    button.addEventListener('click', function(ev) {
+    var toggleEditorButton = document.getElementById('toggle-editor-only');
+    toggleEditorButton.addEventListener('click', function(ev) {
       ev.preventDefault();
       document.getElementById('editor').classList.toggle('editor-only');
       document.getElementById('output').classList.toggle('editor-only');
     });
+    var changeTitleButton = document.getElementById('change-title');
+    changeTitleButton.addEventListener('click', function(ev) {
+      ev.preventDefault();
+      document.title = prompt('Enter a new title:') + " - Sorbet Playground";
+    });
   })();
 </script>