X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-viewer.ui;h=d3baad714148dd3dee0ba020328d01bb78ef6595;hb=7640d70ac1a3641869d8de331594c340c9568ea2;hp=57d3754942c55e24aa526938c42b09b2238c4e26;hpb=4eddf2174e3fb4fe13850666996ecc35f2732d1a;p=pspp diff --git a/src/ui/gui/output-viewer.ui b/src/ui/gui/output-viewer.ui index 57d3754942..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... @@ -31,7 +32,7 @@ edit_select-all - Select _All + gtk-select-all