[gnome-builder/wip/gtk4-port: 1371/1774] libide/editor: fix menu layout and remove unused things

[Christian Hergert <chergert src gnome org>]

commit 502361b358424f7a671846ab9c6648c7aef953a7
Author: Christian Hergert <chergert redhat com>
Date:   Mon Jun 6 12:10:57 2022 -0700

    libide/editor: fix menu layout and remove unused things

 src/libide/editor/gtk/menus.ui | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)
---
diff --git a/src/libide/editor/gtk/menus.ui b/src/libide/editor/gtk/menus.ui
index 1e45f9c72..714b35ec7 100644
--- a/src/libide/editor/gtk/menus.ui
+++ b/src/libide/editor/gtk/menus.ui
@@ -57,18 +57,12 @@
     <section id="ide-editor-page-document-section">
       <attribute name="label" translatable="yes">Document</attribute>
     </section>
-    <section id="ide-editor-page-properties-section">
+    <section id="ide-editor-page-preview-section">
       <attribute name="after">ide-editor-page-document-section</attribute>
-      <item>
-        <attribute name="label" translatable="yes">Document Properties…</attribute>
-      </item>
-      <item>
-        <attribute name="label" translatable="yes">Open Preview…</attribute>
-      </item>
     </section>
     <section id="ide-editor-page-reveal-section"/>
     <section id="ide-editor-page-save-section">
-      <attribute name="after">ide-editor-page-properties-section</attribute>
+      <attribute name="after">ide-editor-page-reveal-section</attribute>
       <item>
         <attribute name="label" translatable="yes">Save</attribute>
       </item>