X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Foutput-viewer.ui;h=d3baad714148dd3dee0ba020328d01bb78ef6595;hb=37d5f592081a2ec8fa461c20c84087e8bf5dc560;hp=579a5bedcc3e93404530c05f34e17e538a2af536;hpb=f26c1b7d41cd1b62ebf4c3bf2bf03d26bc9bfed2;p=pspp diff --git a/src/ui/gui/output-viewer.ui b/src/ui/gui/output-viewer.ui index 579a5bedcc..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...