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=d3baad714148dd3dee0ba020328d01bb78ef6595;hpb=fe8dc2171009e90d2335f159d05f7e6660e24780;p=pspp diff --git a/src/ui/gui/output-viewer.ui b/src/ui/gui/output-viewer.ui index d3baad7141..c8450264c7 100644 --- a/src/ui/gui/output-viewer.ui +++ b/src/ui/gui/output-viewer.ui @@ -12,14 +12,14 @@ file_print - gtk-print + file-print _Print... file_export - gtk-convert + file-export-data _Export... @@ -32,13 +32,15 @@ edit_select-all - gtk-select-all + edit-select-all + Select _All - gtk-copy + edit-copy edit_copy + _Copy @@ -49,6 +51,7 @@ + windows-minimize-all windows_minimise-all _Minimize All Windows