output: Make it possible to push and pop output engines.

[pspp] / src / ui / gui / output-viewer.ui

diff --git a/src/ui/gui/output-viewer.ui b/src/ui/gui/output-viewer.ui
index 1f56cfa616b7b4b415095a7224f8754d7e47f845..a9b7702e5b6a62b933736cb2dae17290f1aa18da 100644 (file)
--- a/src/ui/gui/output-viewer.ui
+++ b/src/ui/gui/output-viewer.ui
@@ -15,6 +15,7 @@
             <property name="stock-id">file-print</property>
             <property name="label" translatable="yes">_Print...</property>
           </object>
+         <accelerator key="P" modifiers="GDK_CONTROL_MASK"/>
         </child>
         <child>
           <object class="GtkAction" id="file_export">
@@ -33,12 +34,14 @@
           <object class="GtkAction" id="edit_select-all">
             <property name="name">edit_select-all</property>
             <property name="stock-id">edit-select-all</property>
+           <property name="label" translatable="yes">Select _All</property>
           </object>
         </child>
         <child>
           <object class="GtkAction" id="edit_copy">
             <property name="stock-id">edit-copy</property>
             <property name="name">edit_copy</property>
+           <property name="label" translatable="yes">_Copy</property>
           </object>
         </child>
         <child>