X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.ui;h=6fded8e99186b40b42f3a746c558c25cce52aee0;hb=3d48d485cb9eca0283aa5f910c86e86a73242490;hp=2a1f88c429e440160d09abd3bf3ac93f01578bd8;hpb=394b64d4075a9e3fc7037758d65ff31522a7c642;p=pspp diff --git a/src/ui/gui/data-editor.ui b/src/ui/gui/data-editor.ui index 2a1f88c429..6fded8e991 100644 --- a/src/ui/gui/data-editor.ui +++ b/src/ui/gui/data-editor.ui @@ -36,6 +36,7 @@ file_open _Open... + @@ -57,6 +58,7 @@ file_save _Save + @@ -64,6 +66,7 @@ file_save_as Save _As... +