X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-viewer.ui;h=d3baad714148dd3dee0ba020328d01bb78ef6595;hb=refs%2Fbuilds%2F20121121031958%2Fpspp;hp=00d113a7bdab255bd7d7ffde2fbf5a094a72f68e;hpb=f550aee00a62fe1d8baf62d83cd7efef6cc2ee92;p=pspp diff --git a/src/ui/gui/output-viewer.ui b/src/ui/gui/output-viewer.ui index 00d113a7bd..d3baad7141 100644 --- a/src/ui/gui/output-viewer.ui +++ b/src/ui/gui/output-viewer.ui @@ -13,13 +13,14 @@ file_print gtk-print + _Print... file_export gtk-convert - _Export + _Export... @@ -29,9 +30,15 @@ - + + edit_select-all + gtk-select-all + + + + gtk-copy - imagemenuitem7 + edit_copy @@ -55,7 +62,8 @@ - + +