Merge branch 'master'; commit 'origin/stable'

[pspp-builds.git] / src / ui / gui / data-editor.glade

diff --git a/src/ui/gui/data-editor.glade b/src/ui/gui/data-editor.glade
index cdf6080e2d2aef9c98da2fff7bd6ad67755a4828..8a12a31ad31df284e232998a6a79037d86c30353 100644 (file)
--- 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>
@@ -765,7 +772,6 @@
                 <child>
                   <widget class="GtkToolButton" id="button-find">
                     <property name="visible">True</property>
-                    <property name="sensitive">False</property>
                     <property name="tooltip" translatable="yes">Find</property>
                     <property name="stock_id">gtk-find</property>
                   </widget>