[gnome-builder/wip/gtk4-port: 628/1774] plugins/debuggerui: fix menu section

[Christian Hergert <chergert src gnome org>]

commit 45bfc29c6673cf1614faf801db0538e61efd5fde
Author: Christian Hergert <chergert redhat com>
Date:   Tue Apr 19 13:43:07 2022 -0700

    plugins/debuggerui: fix menu section

 src/plugins/debuggerui/gtk/menus.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/plugins/debuggerui/gtk/menus.ui b/src/plugins/debuggerui/gtk/menus.ui
index c400008ed..75a0eae15 100644
--- a/src/plugins/debuggerui/gtk/menus.ui
+++ b/src/plugins/debuggerui/gtk/menus.ui
@@ -1,7 +1,7 @@
 <?xml version="1.0"?>
 <interface>
   <menu id="run-menu">
-    <section id="run-menu-section">
+    <section id="run-menu-observation-section">
       <item>
         <attribute name="id">debugger-run-handler</attribute>
         <attribute name="after">default-run-handler</attribute>