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=16b2cf4bb5517cb1cc77c3bc46e03bb0fdce329f;hpb=691a034d7f2139076fa012739dffd40ef5db4a9b;p=pspp diff --git a/src/ui/gui/syntax-editor.ui b/src/ui/gui/syntax-editor.ui index 16b2cf4bb5..7ed0420c15 100644 --- a/src/ui/gui/syntax-editor.ui +++ b/src/ui/gui/syntax-editor.ui @@ -1,3 +1,4 @@ + @@ -14,7 +15,6 @@ - @@ -95,6 +95,12 @@ win.redo +
+ + _Find + win.find + +
_Run