chore: improve the development page a bit

josdejong · Oct 31, 2023 · 6588a01 · 6588a01
1 parent 627170a
commit 6588a01
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/src/routes/development/+page.svelte b/src/routes/development/+page.svelte
@@ -680,12 +680,16 @@
     </button>
     <button
       on:click={() => {
-        refTextEditor?.select({
+        if (!refTextEditor) {
+          alert('Open the text editor first (right panel)')
+          return
+        }
+        refTextEditor.select({
           type: SelectionType.text,
           ranges: [{ anchor: 5, head: 12 }],
           main: 0
         })
-        refTextEditor?.focus()
+        refTextEditor.focus()
       }}
     >
       Select char 5 to 12