X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-viewer.ui;h=c8450264c7fbd02fbfa487e53cbc434bdf1775c7;hb=refs%2Fbuilds%2F20131105032650%2Fpspp;hp=13a39f8889ee89b08b204ec7d27bf12023fa24f1;hpb=0cef299dab442edb73b5942408b38bf5aefe7489;p=pspp diff --git a/src/ui/gui/output-viewer.ui b/src/ui/gui/output-viewer.ui index 13a39f8889..c8450264c7 100644 --- a/src/ui/gui/output-viewer.ui +++ b/src/ui/gui/output-viewer.ui @@ -12,14 +12,15 @@ file_print - gtk-print + file-print + _Print... file_export - gtk-convert - _Export + file-export-data + _Export... @@ -28,10 +29,18 @@ _Edit + + + edit_select-all + edit-select-all + Select _All + + - gtk-copy + edit-copy edit_copy + _Copy @@ -42,6 +51,7 @@ + windows-minimize-all windows_minimise-all _Minimize All Windows @@ -56,6 +66,7 @@ +