X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.glade;h=8a12a31ad31df284e232998a6a79037d86c30353;hb=bead8a34ee050e1f885cf7bf8fe03e7db87e78d7;hp=deff3bb5f34363443429891e54afdb2946351700;hpb=2165f59ab9eee5272b4037e45477811627cae078;p=pspp

diff --git a/src/ui/gui/data-editor.glade b/src/ui/gui/data-editor.glade
index deff3bb5f3..8a12a31ad3 100644
--- a/src/ui/gui/data-editor.glade
+++ b/src/ui/gui/data-editor.glade
@@ -772,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>