[gnome-builder/wip/gtk4-port: 817/1774] plugins/project-tree: tweak labels

[Christian Hergert <chergert src gnome org>]

commit 8820c4494f087ee68edfaa9a3933b52227db8648
Author: Christian Hergert <chergert redhat com>
Date:   Fri Apr 29 18:06:18 2022 -0700

    plugins/project-tree: tweak labels

 src/plugins/project-tree/gtk/menus.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/plugins/project-tree/gtk/menus.ui b/src/plugins/project-tree/gtk/menus.ui
index 8cf7f79be..57e5c73bf 100644
--- a/src/plugins/project-tree/gtk/menus.ui
+++ b/src/plugins/project-tree/gtk/menus.ui
@@ -96,7 +96,7 @@
   <menu id="ide-source-view-popup-menu">
     <section id="ide-source-view-popup-menu-files-section">
       <item>
-        <attribute name="label" translatable="yes">Reveal File in Project _Tree</attribute>
+        <attribute name="label" translatable="yes">Reveal in Project _Tree</attribute>
         <attribute name="action">project-tree.reveal</attribute>
       </item>
     </section>