X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-viewer.ui;h=579a5bedcc3e93404530c05f34e17e538a2af536;hb=e63296a3c2bfcf1b40d712e79f17b349c4a6f21d;hp=3325e2abc118c1402d9a9d8ab6694b574c069013;hpb=e4ef4d0f708651807d91bd92d7ab92c1b5c6d675;p=pspp diff --git a/src/ui/gui/output-viewer.ui b/src/ui/gui/output-viewer.ui index 3325e2abc1..579a5bedcc 100644 --- a/src/ui/gui/output-viewer.ui +++ b/src/ui/gui/output-viewer.ui @@ -12,12 +12,13 @@ file_print - _Print + gtk-print file_export + gtk-convert _Export @@ -28,9 +29,15 @@ - + + edit_select-all + gtk-select-all + + + + gtk-copy - imagemenuitem7 + edit_copy @@ -54,7 +61,8 @@ - + +