X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-viewer.ui;h=c8450264c7fbd02fbfa487e53cbc434bdf1775c7;hb=2fd4306b04da6c8fc982d81beacc1f2e3573307b;hp=1f56cfa616b7b4b415095a7224f8754d7e47f845;hpb=96c73a0044390c4de8b163bb0445ed28c3648792;p=pspp diff --git a/src/ui/gui/output-viewer.ui b/src/ui/gui/output-viewer.ui index 1f56cfa616..c8450264c7 100644 --- a/src/ui/gui/output-viewer.ui +++ b/src/ui/gui/output-viewer.ui @@ -33,12 +33,14 @@ edit_select-all edit-select-all + Select _All edit-copy edit_copy + _Copy