X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.ui;h=7ed0420c155e67df6d890bddaccc29080d974224;hb=a1538e0714e45fae1b7d43d11c587b70f2aa1eed;hp=56423ea70b6857c3bd4339d19ab54b3ea615d1f4;hpb=5dbf5abcbed01f04422d4dead1c0ae0bb7efde4f;p=pspp

diff --git a/src/ui/gui/syntax-editor.ui b/src/ui/gui/syntax-editor.ui
index 56423ea70b..7ed0420c15 100644
--- a/src/ui/gui/syntax-editor.ui
+++ b/src/ui/gui/syntax-editor.ui
@@ -95,6 +95,12 @@
 	<attribute name="action">win.redo</attribute>
       </item>
     </section>
+    <section>
+      <item>
+	<attribute name="label" translatable="yes">_Find</attribute>
+	<attribute name="action">win.find</attribute>
+      </item>
+    </section>
   </submenu>
   <submenu>
     <attribute name="label" translatable="yes">_Run</attribute>