X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-viewer.glade;h=f2d5c024ce121776d2d3e099f739be416b682fab;hb=7d1a2df842bd96a71c3d3b0ce26305e233ab37ac;hp=dfc2663f7893e0a06b89a22d77b8cd0cd6b98bb2;hpb=6071f2f1e380283d430a712c259ecd403f0ed410;p=pspp-builds.git

diff --git a/src/ui/gui/output-viewer.glade b/src/ui/gui/output-viewer.glade
index dfc2663f..f2d5c024 100644
--- a/src/ui/gui/output-viewer.glade
+++ b/src/ui/gui/output-viewer.glade
@@ -32,6 +32,13 @@
                         <property name="use_underline">True</property>
                       </widget>
                     </child>
+                    <child>
+                      <widget class="GtkMenuItem" id="file_print">
+                        <property name="visible">True</property>
+                        <property name="label" translatable="yes">_Print</property>
+                        <property name="use_underline">True</property>
+                      </widget>
+                    </child>
                   </widget>
                 </child>
               </widget>