--- a/ui/gtk/text.c	Tue Jun 09 17:43:36 2026 +0200
+++ b/ui/gtk/text.c	Tue Jun 09 18:47:19 2026 +0200
@@ -247,7 +247,12 @@
 }
 
 void ui_textarea_focus(UIWIDGET textarea) {
-    gtk_widget_grab_focus(textarea);
+    GtkWidget *widget = ui_textarea_gettextwidget(textarea);
+    if(!widget) {
+        fprintf(stderr, "Error: ui_textarea_focus: widget is not a textarea\n");
+        return;
+    }
+    gtk_widget_grab_focus(widget);
 }
 
 void ui_textarea_set_selection(UIWIDGET textarea, int begin, int end) {