X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.glade;h=deff3bb5f34363443429891e54afdb2946351700;hb=31b6e78dc21a245350249247962d199ada98e677;hp=cdf6080e2d2aef9c98da2fff7bd6ad67755a4828;hpb=1a90d36cb9eac4fa17b8e2f9a9b8b7461bd6360d;p=pspp-builds.git

diff --git a/src/ui/gui/data-editor.glade b/src/ui/gui/data-editor.glade
index cdf6080e..deff3bb5 100644
--- a/src/ui/gui/data-editor.glade
+++ b/src/ui/gui/data-editor.glade
@@ -612,6 +612,13 @@
                         <property name="use_underline">True</property>
                       </widget>
                     </child>
+                    <child>
+                      <widget class="GtkCheckMenuItem" id="windows_split">
+                        <property name="visible">True</property>
+                        <property name="label" translatable="yes">_Split</property>
+                        <property name="use_underline">True</property>
+                      </widget>
+                    </child>
                   </widget>
                 </child>
               </widget>