[gnome-builder/wip/gtk4-port] libide/greeter: add theme selector to greeter

[Christian Hergert <chergert src gnome org>]

commit 071b0fbd9f57da703b9fb6a6650fe2d8f51e68b7
Author: Christian Hergert <chergert redhat com>
Date:   Wed Mar 30 23:33:12 2022 -0700

    libide/greeter: add theme selector to greeter

 src/libide/greeter/gtk/menus.ui | 5 +++++
 1 file changed, 5 insertions(+)
---
diff --git a/src/libide/greeter/gtk/menus.ui b/src/libide/greeter/gtk/menus.ui
index 952fbfd30..8d9a93b5f 100644
--- a/src/libide/greeter/gtk/menus.ui
+++ b/src/libide/greeter/gtk/menus.ui
@@ -1,6 +1,11 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <interface>
   <menu id="ide-greeter-workspace-menu">
+    <section id="ide-greeter-workspace-menu-theme">
+      <item>
+        <attribute name="custom">theme_selector</attribute>
+      </item>
+    </section>
     <section id="ide-greeter-workspace-menu-projects">
       <item>
         <attribute name="id">ide-greeter-workspace-menu-clone</attribute>