X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Fui%2Fgui%2Foutput-viewer.ui;h=66a7af577c27a488c9cb12f05518ff96b7fd8c93;hb=e339b2ca72d77a076566856e9357781d49cd983c;hp=e664a6d9930df0cc890b758268a3236516e81fd8;hpb=3701d580cb7b5802201cf4642f0e17c4701f12ec;p=pspp diff --git a/src/ui/gui/output-viewer.ui b/src/ui/gui/output-viewer.ui index e664a6d993..66a7af577c 100644 --- a/src/ui/gui/output-viewer.ui +++ b/src/ui/gui/output-viewer.ui @@ -9,10 +9,18 @@ _File + + + file_print + file-print-document + _Print... + + file_export - _Export + file-export-document + _Export... @@ -22,9 +30,15 @@ - - gtk-copy - imagemenuitem7 + + edit_select-all + gtk-select-all + + + + + edit-copy + edit_copy @@ -45,9 +59,11 @@ + - + +