From 1b8eb607c65fbb3548a4ff768164b23b0f242d44 Mon Sep 17 00:00:00 2001
From: Matthew Brush <matt@geany.org>
Date: Tue, 7 Apr 2020 18:14:18 -0700
Subject: [PATCH] Set a default widget name on all GtkBuilder widgets.

Allows selecting individual widgets in Gtk CSS using #name selector.
---
 src/ui_utils.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/ui_utils.c b/src/ui_utils.c
index de8bfacc79..18aeabd13c 100644
--- a/src/ui_utils.c
+++ b/src/ui_utils.c
@@ -2491,6 +2491,11 @@ void ui_init_builder(void)
 			g_warning("Unable to get name from GtkBuilder object");
 			continue;
 		}
+		else
+		{
+			/* Set a default name for use from CSS by name */
+			gtk_widget_set_name(widget, name);
+		}
 
 		toplevel = ui_get_top_parent(widget);
 		if (toplevel)