X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-viewer.ui;h=579a5bedcc3e93404530c05f34e17e538a2af536;hb=refs%2Fbuilds%2F20100922040502%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..579a5bedcc 100644 --- a/src/ui/gui/output-viewer.ui +++ b/src/ui/gui/output-viewer.ui @@ -28,6 +28,12 @@ _Edit + + + edit_select-all + gtk-select-all + + gtk-copy @@ -56,6 +62,7 @@ +