X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-viewer.ui;h=a9b7702e5b6a62b933736cb2dae17290f1aa18da;hb=3b6384c0f3f35fb0b280cb20ddaa01b50912f4b8;hp=00d113a7bdab255bd7d7ffde2fbf5a094a72f68e;hpb=f550aee00a62fe1d8baf62d83cd7efef6cc2ee92;p=pspp diff --git a/src/ui/gui/output-viewer.ui b/src/ui/gui/output-viewer.ui index 00d113a7bd..a9b7702e5b 100644 --- a/src/ui/gui/output-viewer.ui +++ b/src/ui/gui/output-viewer.ui @@ -12,14 +12,16 @@ file_print - gtk-print + file-print + _Print... + file_export - gtk-convert - _Export + file-export-data + _Export... @@ -29,9 +31,17 @@ - - gtk-copy - imagemenuitem7 + + edit_select-all + edit-select-all + Select _All + + + + + edit-copy + edit_copy + _Copy @@ -42,6 +52,7 @@ + windows-minimize-all windows_minimise-all _Minimize All Windows @@ -55,7 +66,8 @@ - + +