X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.ui;h=6fded8e99186b40b42f3a746c558c25cce52aee0;hb=3c5630105991133a09971a4c107141767a2c7d0c;hp=2a1f88c429e440160d09abd3bf3ac93f01578bd8;hpb=ad9374fb26300c7d6c72b358b6ee9f0b6e5b5c87;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... +