X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Foutput-viewer.ui;h=579a5bedcc3e93404530c05f34e17e538a2af536;hb=42be6b12cf0cd00bbc726f101d9e1c6fef032f83;hp=13a39f8889ee89b08b204ec7d27bf12023fa24f1;hpb=0cef299dab442edb73b5942408b38bf5aefe7489;p=pspp-builds.git

diff --git a/src/ui/gui/output-viewer.ui b/src/ui/gui/output-viewer.ui
index 13a39f88..579a5bed 100644
--- a/src/ui/gui/output-viewer.ui
+++ b/src/ui/gui/output-viewer.ui
@@ -28,6 +28,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 +62,7 @@
         </menu>
         <menu action="menuitem2">
           <menuitem action="edit_copy"/>
+          <menuitem action="edit_select-all"/>
         </menu>
         <menu action="windows_menuitem">
           <menuitem action="windows_minimise-all"/>