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=13a39f8889ee89b08b204ec7d27bf12023fa24f1;hpb=0cef299dab442edb73b5942408b38bf5aefe7489;p=pspp

diff --git a/src/ui/gui/output-viewer.ui b/src/ui/gui/output-viewer.ui
index 13a39f8889..d3baad7141 100644
--- a/src/ui/gui/output-viewer.ui
+++ b/src/ui/gui/output-viewer.ui
@@ -13,13 +13,14 @@
           <object class="GtkAction" id="file_print">
             <property name="name">file_print</property>
             <property name="stock-id">gtk-print</property>
+            <property name="label" translatable="yes">_Print...</property>
           </object>
         </child>
         <child>
           <object class="GtkAction" id="file_export">
             <property name="name">file_export</property>
             <property name="stock-id">gtk-convert</property>
-            <property name="label" translatable="yes">_Export</property>
+            <property name="label" translatable="yes">_Export...</property>
           </object>
         </child>
         <child>
@@ -28,6 +29,12 @@
             <property name="label" translatable="yes">_Edit</property>
           </object>
         </child>
+        <child>
+          <object class="GtkAction" id="edit_select-all">
+            <property name="name">edit_select-all</property>
+            <property name="stock-id">gtk-select-all</property>
+          </object>
+        </child>
         <child>
           <object class="GtkAction" id="edit_copy">
             <property name="stock-id">gtk-copy</property>
@@ -56,6 +63,7 @@
         </menu>
         <menu action="menuitem2">
           <menuitem action="edit_copy"/>
+          <menuitem action="edit_select-all"/>
         </menu>
         <menu action="windows_menuitem">
           <menuitem action="windows_minimise-all"/>