X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.ui;h=7ed0420c155e67df6d890bddaccc29080d974224;hb=16aa04bddc7bdf95f1cbbebfce6ea93773391c44;hp=a8451e0ef51323fc60137d713ea761ee4b04b6c5;hpb=7293c1a383d325c371bd708401e5a1d7586a4d90;p=pspp diff --git a/src/ui/gui/syntax-editor.ui b/src/ui/gui/syntax-editor.ui index a8451e0ef5..7ed0420c15 100644 --- a/src/ui/gui/syntax-editor.ui +++ b/src/ui/gui/syntax-editor.ui @@ -1,4 +1,20 @@ - + + + + + + + + + + + + + + + + + @@ -79,6 +95,12 @@ win.redo +
+ + _Find + win.find + +
_Run