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

diff --git a/src/ui/gui/data-editor.glade b/src/ui/gui/data-editor.glade
index deff3bb5..8a12a31a 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>