# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1781023639 -7200
# Node ID b114038a48da6d9b0fe1589809af2d0689ef66de
# Parent  32f10747902b67db2ae5206ca558519af570b54e
fix usage of wrong widget in ui_textarea_focus (GTK)

diff -r 32f10747902b -r b114038a48da ui/gtk/text.c
--- 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) {