X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-viewer.ui;h=579a5bedcc3e93404530c05f34e17e538a2af536;hb=f994fab43f6aeb00cfb40d24c4c4c6ed518a05b9;hp=00d113a7bdab255bd7d7ffde2fbf5a094a72f68e;hpb=67248f1d4510c528fe390a9c17e16376802019ad;p=pspp-builds.git diff --git a/src/ui/gui/output-viewer.ui b/src/ui/gui/output-viewer.ui index 00d113a7..579a5bed 100644 --- a/src/ui/gui/output-viewer.ui +++ b/src/ui/gui/output-viewer.ui @@ -29,9 +29,15 @@ - + + edit_select-all + gtk-select-all + + + + gtk-copy - imagemenuitem7 + edit_copy @@ -55,7 +61,8 @@ - + +