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 c8450264c7fbd02fbfa487e53cbc434bdf1775c7..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">