From 6588a0156fa32e506d24c5897fe614a535198fd4 Mon Sep 17 00:00:00 2001
From: Jos de Jong <wjosdejong@gmail.com>
Date: Tue, 31 Oct 2023 09:10:31 +0100
Subject: [PATCH] chore: improve the development page a bit

---
 src/routes/development/+page.svelte | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/routes/development/+page.svelte b/src/routes/development/+page.svelte
index a96aa8b6..a50e5e3a 100644
--- 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